Using KDE 2.0.0, but same problem was present in 1.1.1, and Codewarrior before that.
I don't see any support for floating point in PE. That is, the Init_SCB component only has registers up to SCB_CPACR at 0xE000ED88, and doesn't have any of the floating point control registers starting at 0xE000EF34. I grepped all the .h files for the string "FPCCR", which is the standard name for the register at that address, and came up empty. The CP10 and CP11 fields in SCB_CPACR are zero, and the tool tip says "Reason why settings is disabled: Initialization of the bit is not supported by this component or the bit is not related to the selected peripheral."
So how is one supposed to enable floating point, and twiddle the FP configuration registers? Is there no way, other than to hard code hex addresses and data in the program?