updated erroneous references to 32-bit floating point