"double precision" in German double-precision mit doppelter Genauigkeit Detailed translations for "double precision" double-precision double-precision mit doppelter Genauigkeit