patching binary operators to remove bugs