Sorting of number fields by integers rather than strings