Type Definition typenum::N100000000000[][src]

type N100000000000 = NInt<U100000000000>;