* floatformat.h: New file, intended to replace ieee-float.h.