Provides classes for fields and their generalisations (rings).