Add codecs for IEEE 754 floating point values