Such µC mit guter Float-Leistung...

[Janvi]

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

[ahabakukuk]

Ich kann das STM32F4 Discovery Board auch nur empfehlen, habe mir dies für ca. 18 Euro gekauft.
Bezüglich ohne Ethernet schau mal hier: https://www.youtube.com/watch?v=EjOi...ure=plpp_video
Youtube Video in welchem erklärt wird wie man an das Board eine externe Ethernet Schnittstelle anschliesst...
Falls du noch eine Entwicklungsumgebung suchst sieh dir doch dieses Video an: https://www.youtube.com/watch?v=RXOO...ure=plpp_video