"floating decimal" Deutsche bedeutung