8bit vs 32bit floating point calculations

It seems to be an annoying fact of life that even if your cpu implements 32bit floating point in hardware (like some of the teensy’s and the new adafruit M4F boards), 64bit floating point calculations will still be done entirely in software.