Type Alias N672

pub type N672 = NInt<U672>;