Type Alias N871

pub type N871 = NInt<U871>;