floating-point operation (flop) - Spanisch Englisch Wörterbuch