Just one more note -- this matches what is done with complex op complex opBinary.  Could we therefore let this stand as something that works and is in line with how it's done in other cases, and I'll commit to revisiting it as a separate issue for _all_ the cases concerned?