floating-point representation system Synonyms