Type Definition typenum::consts::P1000000000000

type P1000000000000 = PInt<U1000000000000>;