Type Definition typenum::N123

type N123 = NInt<U123>;