Continue work on floating-point benchmark. Use STM32F4 FPU.