libc/sysdeps/ia64/fpu/bits