pub type N70368744177664 = NInt<U70368744177664>;