libc/sysdeps/ieee754