powerpc/powerpc64/power4/fpu