double precision number - Englisch Synonyme Wörterbuch