ArduinoDUE - FloatingPointVS Integer math

I have noticed on Teensy3 that 32 bit float support from newlib is particularly slow. Since Arduino Due is using the same C library, it's probably pretty similar. I have not yet investigated why.

One thing I do know: 32 bit division is extremely fast. It's handled in hardware using only 2 cycles.