Type Definition typenum::consts::N1000000000000

type N1000000000000 = NInt<U1000000000000>;