Hello Erich,
thanks for your quick reply. Yes, the settings you mentioned are the same in my project:

The problem is not that the compiler does not generate hard floating point instructions (I guess it does), but as the warning says, it doesn't know that my processor supports them unless I include "MK66F18.h" which contains the needed "#define __FPU_PRESENT 1".
Regards
Matthias