AUTHOR: William Stein (input from David Joyner, David Kohel, and Joe Wetherell)
The module rings.fraction_field_element defines the following classes: