catacomb/__init__.py: Generalize rationals to fields of fractions.