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.
For `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.