pub type N4503599627370496 = NInt<U4503599627370496>;