Type Alias N777

pub type N777 = NInt<U777>;