İnteger-valued function