Merge change 6498

* changes:
  Some x86 floating point code works.