Type Definition typenum::P729

type P729 = PInt<U729>;