Type Definition typenum::P125

type P125 = PInt<U125>;