Type Definition typenum::P10000000000000[][src]

type P10000000000000 = PInt<U10000000000000>;