Type Definition typenum::P715

type P715 = PInt<U715>;