mieee-fp

See fltconsistency.