is_int sort_int