Eine weitere Alternative wären vielleicht noch die AVR32 Controller, von denen auch viele mit FPU ausgestattet sind.