Type Definition typenum::N10000000000000

type N10000000000000 = NInt<U10000000000000>;