Clarified binary operator checking for integer types.