powerpc/powerpc32/power6/fpu