mieee-fp
fltconsistency
を参照してください。