Fix #409: bool ^ bool returns an integer instead of a boolean.