Type Definition typenum::P133

type P133 = PInt<U133>;