pub type N549755813888 = NInt<U549755813888>;