libc/sysdeps/ieee754/bits