Type Definition typenum::P724

type P724 = PInt<U724>;