Type Definition typenum::P30

type P30 = PInt<U30>;