pub trait RealField: ComplexField<Real = Self> + PartialOrd { }
Trait that describes a real number field.