Extend a bit the binary operators rule