Another kickstarter project that I just noticed is going on and is currently active, has an Arm processor with a floating point unit. It has passed the point where the project will be funded, and it claims delivery in August (note KS delivery estimates are just that, and most of the KS campaigns I have funded have been late): https://www.kickstarter.com/projects/1756272518/attoduino-turbocharged-wireless-arduino-compatible?ref=discovery