(Cortex M4 has an FPU, right?)
Not necessarily apparently. From wikipedia:
The Cortex-M4 adds DSP instructions and an optional single-precision floating-point unit. If the Cortex-M4 has the floating point unit, then it is known as the Cortex-M4F.
Pete