Type Definition typenum::P25

type P25 = PInt<U25>;