Type Alias P715

pub type P715 = PInt<U715>;