pub type N274877906944 = NInt<U274877906944>;