pub type N2251799813685248 = NInt<U2251799813685248>;