Add IEEE 754 decoder.