do a numeric sort to have the partitions in numeric order (see #352)