Issue #4395: Better testing and documentation of binary operators.

Patch by Martin Panter.