Make integer operation type checks raise proper exceptions