floating-point numbers - Englisch Synonyme Wörterbuch