libc/sysdeps/alpha/fpu