pub type N1125899906842624 = NInt<U1125899906842624>;