"double precision" auf Deutsch double-precision mit doppelter Genauigkeit Ausführliche Übersetzungen für "double precision" double-precision double-precision mit doppelter Genauigkeit