я раньше встречал упоминание, что CPU обрабатывает вещественные числе представленные в double
и при использовании float перед каждой операцией происходит преобразование типа числа
судя по этому документы это уже не так
IEEE Floating-Point Representation
какой вещественный тип лучше использовать с точки зрения оптимизации по скорости