This type is intended to serve as a parent class for those types of rings of numbers that have settable precision.
The object InexactFieldFamily is a type, with ancestor classes RingFamily < Type < MutableHashTable < HashTable < Thing.