pub type N18014398509481984 = NInt<U18014398509481984>;