Type Definition typenum::P717

type P717 = PInt<U717>;