maths_traits::analysis::ordered
trait OrdLoop = OrdMagma + AddLoop;
An additive loop with an ordered addition operation