Type Alias P517

pub type P517 = PInt<U517>;