Good point. We've got a fpu in STM32F3xx or STM32F4xx. But i don't want to stress it.