FPU ядро в STM32F4 - сказка. За время работы очень привык и к скорости и к прозрачности работы. Но вот тут потребовалось использовать не обычный float, а double. И вот тут, посмотрев на библиотечную функцию умножения Microlib, я ужаснулся. Вычисления осуществляются через перевод в uint32. А деление - вообще катастрофа, даже без использования аппаратных умножений или делений.
Подскажите - а побыстрее (на порядок желательно), например с использованием FPU и простого float - никак? Существуют ли такие алгоритмы в принципе?

Там пишут, что никак... :-((

А на сколько интенсивно нужно double использовать? Насколько я помню, софтварные операции с double занимают порядка пары сотен тактов процессора. А аппаратные целочисленные деления и умножения при операциях с плавучкой не очень-то полезны. А если нужно быстро, то может и у float-а точности хватит?