Type Alias N876

pub type N876 = NInt<U876>;