Type Definition typenum::N4503599627370496

type N4503599627370496 = NInt<U4503599627370496>;