10+20=30 so the same numbers were used for both, leading to undefined ordering.
Detected by a new unittest for order().
