Type Alias N872

pub type N872 = NInt<U872>;