"floating point" Deutsche bedeutung