IEEE-754 floating point encoder/decoder