Floating-point numbers decoding