Merge change 6741

* changes:
  Implement floating point for ARM.