Как уже упоминалось в Ofer, по умолчанию сортировка является числовой, а элементы сравниваются как числа с плавающей запятой двойной точности.
Функция сортировки Redis работает путем заполнения массива C из исходного контейнера.Первоначальный порядок элементов в этом массиве - это порядок элементов в исходном контейнере (который не определен, например, для набора).
Каждый элемент затем помечается значением оценки.Redis использует стандартную функцию strtod для преобразования строкового значения в double.Эта функция работает с максимальным усилием: она пытается преобразовать как можно больше символов.Таким образом, строки «9», «9,1», «9,2» и «9,4» будут преобразованы в 9.0
Наконец, массив сортируется с использованием стандартного алгоритма qsort, либо алгоритм BENTLEY / McILROY (в зависимости от того, установлены ли предельные параметры или нет).AFAIK, ни один из этих алгоритмов сортировки не является стабильным .Это означает, что порядок элементов с одинаковым счетом будет случайным в результате.
Это именно то, что вы получаете на примере: сначала у вас есть 10 элементов, а затем 9 элементов.,Порядок "9" предметов является случайным.