powerpc/powerpc32/power4/fpu