pub type N10000000000000000 = NInt<U10000000000000000>;