Type Definition typenum::N124

type N124 = NInt<U124>;