* sysdeps/mips/ieee754.h: New file, suitable to replace both ../ieee754/ieee754.h...