floating point decoding