remove Integer.get_sort_key hack