You can do floating point calculation on the Arduino, btw. It's only printing them over the serial port that doesn't work, but there are ways around that (e.g. see this post to the developers mailing list: http://mail.arduino.cc/pipermail/developers_arduino.cc/2007-September/000427.html). I'm sure an FPU is still useful for some things though.