Type Definition typenum::N1000000

type N1000000 = NInt<U1000000>;