"decimal fraction" Deutsche bedeutung