fix ordering by ints