Type Definition typenum::N2199023255552

type N2199023255552 = NInt<U2199023255552>;