An equivalence for
Doubles which is consistent with IEEE specifications.
Because the behaviour of
Doubles specified by IEEE is
not consistent with behaviors required of an equivalence
NaN (it is not reflexive), there are two
equivalences defined for
is reflexive, and
IeeeEquiv, which is consistent
with IEEE spec and floating point operations defined in
This equivalence may be preferable for numeric contexts.