STM32F4xx die gesamte 4er Baureihe kommt mit Hardware Floating Point daher. Einfach am GCC einschalten. Gibts im QFP64 oder größer.
Das Demo Board dazu heisst STM32F Discovery und ist auf http://www.st.com/internet/evalboard/product/252419.jsp
(leider ohne Ethernet) aber sonst ist das Teil ziemlich ok