Type Definition typenum::N10000000

type N10000000 = NInt<U10000000>;