This fixes #7570.  It will now encode and decode 32 bit floats.