Hi, Goran,
As you know that the K65 with FPU module can only do single precision float operation with hardware, and the DSP instructions in the Cortex-M4 only support integer or fixed point(fractional data) operation. Both the FPU and DSP instruction do not help to operate the double float operation.
Fortunately, the C compilers support double float operation by software simulation, but it takes a long time.
Hope it can help you.
BR
Xiangjun rong