"floating-point" Deutsche bedeutung