alpha/alphaev6/fpu