A real number ring is a ring whose elements are real numbers of variable precision.
The object RealField is a type, with ancestor classes InexactField < EngineRing < Ring < Type < MutableHashTable < HashTable < Thing.