Bug fix in match_compare definition.
Algebraically equivalent arith ops not numerically identical on my machine; robustifying tests to this.