maths_traits::analysis::ordered
trait ArchRing = ArchAbelianGroup + OrdRing;
An ordered ring with the Archimedean property