in binary operations, when one operand has a user-specified domain and the other has the default domain, the user-specified domain trumps