floating-point operation results Synonyms