"floating point operation" Deutsche bedeutung