am 65e7b1d5: Merge "Refactor muldf3 and mulsf3."

* commit '65e7b1d5aa3878e95eab8772d7c299660b8e7d0c':
  Refactor muldf3 and mulsf3.