powerpc/powerpc32/power5/fpu