Type Alias N772

pub type N772 = NInt<U772>;