/ports/sysdeps/alpha/alphaev6/fpu/