ieee-0.7: Utilities for dealing with IEEE floating point numbers

Index

===Data.AEq
AEqData.AEq
bisectIEEENumeric.IEEE
copySignNumeric.IEEE
epsilonNumeric.IEEE
identicalIEEENumeric.IEEE
IEEENumeric.IEEE
infinityNumeric.IEEE
maxFiniteNumeric.IEEE
maxNaNNumeric.IEEE
maxNaNPayloadNumeric.IEEE
maxNumNumeric.IEEE
minNaNNumeric.IEEE
minNormalNumeric.IEEE
minNumNumeric.IEEE
nanNumeric.IEEE
nanPayloadNumeric.IEEE
nanWithPayloadNumeric.IEEE
predIEEENumeric.IEEE
sameSignificandBitsNumeric.IEEE
succIEEENumeric.IEEE
~==Data.AEq