powerpc/powerpc64/be/power9/fpu