Type Alias P717

pub type P717 = PInt<U717>;