Type Alias N10000000000000

pub type N10000000000000 = NInt<U10000000000000>;