libc/sysdeps/ia64/fpu