"repeating decimal fraction" Deutsche bedeutung