Merge change 6550

* changes:
  Implement x86 int <--> float.