Type Definition typenum::P127

type P127 = PInt<U127>;