This number type is intended for tests of functions over fields,
where the field elements need constant space.
This way we can provide a Storable instance.
Rational this would not be possible.
However, be aware that sums of non-zero elements may yield zero. Thus division is not always safe, where it is for rational numbers.