As mentioned in the discussion at #111, add an instance of `AEq` from the `ieee754` package.
As mentioned in the discussion at #111, add an instance of
AEqfrom theieee754package.