double-precision quantity - Deutsch Englisch Wörterbuch