Type Definition typenum::P100000000000000[][src]

type P100000000000000 = PInt<U100000000000000>;