Type Definition typenum::consts::P133

type P133 = PInt<U133>;