I'm playing with a TWR-K60N512-Kit, which is pretty cool. However, the chip on the board, MK60N512VMD100 doesn't have the optional floating-point unit. I searched the Freescale website, but didn't find the MK60X512 or MK60N1M0 parts that do have FPU.
Is there any Kinetis family MCU available now that has a on-chip FPU? If yes, what's the part number, and is there any development kit/board for it?