pub type N281474976710656 = NInt<U281474976710656>;