What's the rule for sorting these values? The standard lexicographic comparison that sort uses by default produces a different order, so it's not obvious to me.