Implies for ppc32/970 with FPU.