„rational number" nicht gefunden