by the way, for my own understanding, why do we stringify the sort key? It seems like that would cause us to produce a String-ordering rather than a numeric ordering, causing stuff like 10 to sort before 2.