x+1 is sometimes less than x ... is "IRL" integers? Division of any integer by any number (other than zero) is an integer ... is "IRL" integers?

Seems to me that ship has sailed!