Integer-valued_function