double-precision quantity - Englisch Synonyme Wörterbuch