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.