pub type N144115188075855872 = NInt<U144115188075855872>;