Type Definition typenum::consts::N100000000000000

type N100000000000000 = NInt<U100000000000000>;