sort ints of a list of class 4.7