Fix subtracting double floats on ARM.

-/double-float was using fsubS instead of fsubD.