Type Definition typenum::N100000

type N100000 = NInt<U100000>;