Type Definition typenum::P123

type P123 = PInt<U123>;