Type Alias N873

pub type N873 = NInt<U873>;