Why for number 9007199254739993 function should return false and for number 9007199254740991 number? They both save 53 bits numbers

a and b will always be valid integers.

That was not the case, maybe you need to edit the discription a bit. User have to check if inputs are still safe.