sorting of revision-like numbers
