Type Alias N880

pub type N880 = NInt<U880>;