https://9dok.net/document/yevkg0dr-integer-valued-definable-functions.html