libc/sysdeps/alpha/fpu/bits