powerpc/powerpc64/fpu