Implies for ppc32/power5 with FPU.