maths_traits::analysis::ordered
trait ArchField = ArchUnitalRing + OrdField;
An ordered field ring with the Archimedean property and Archimedean division