sorting.extras: faster map-sort.