Bug 883661 - Fix and document numeric comparator invariants.