Ah, interesting, thanks.

That pretty much answers the basic question, and in my real-life implementation I'm lucky enough to be able to demand a "tiebreaker" be specified if you care about sort stability.