Fixed semantics of binary operators