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 defined, where it is for rational numbers.

>>> import qualified Number.GaloisField2p32m5 as GF
>>> import qualified Algebra.Laws as Laws
>>> import Test.QuickCheck ((==>))
>>> import NumericPrelude.Numeric
>>> import NumericPrelude.Base
>>> import Prelude ()
>>> 
>>> gf :: GF.T -> GF.T
>>> gf = id