ports/sysdeps/alpha/fpu/bits
