Integer-valued function
[de] Zahlenfunktion