Merge change 6658

* changes:
  Finish implementing x86 floating point