powerpc/powerpc64/power6/fpu