an integer(1)= a non-integer(0.999...) ends in contradiction