Implies for ppc64/power5+ with FPU.