Translation of "Ganzzahltyp" in English