for the php operator extension that supports operator overloading