Type Definition typenum::N1125899906842624

type N1125899906842624 = NInt<U1125899906842624>;