абсолютно верно! Но вся эта возня имеет смысл только в том случае, если массив действительно гигантских размеров В этом случае сортировка как раз и не подходит, поскольку время выполнения растёт быстрее размера массива.
Сумматор double для сложения float теоретически может быть недостаточным, но практически для этого потребуется ну очень много исходных данных и очень высокие требования к точности, что вряд-ли будет иметь практический смысл