Your function is going from the integers to the integers
The statement the input is NOT an integer for all b.
Using your example
suppose but this is a rational number Not an integer.
So the function would be surjective over the rationals, but it is not over the integers.
I hope this helps.