You are correct. The code fails when both operands are "constant". I will submit something that does not go via the non-member operators, that should make it easier to reason about correctness.