/libc/ports/sysdeps/mips/ieee754/