am 06db56c3: Merge "Fixes for x86 compilation with floats." into ics-mr1-plus-art
am 06db56c3: Merge "Fixes for x86 compilation with floats." into ics-mr1-plus-art

* commit '06db56c39997b1bb1e69a3c5f2ba960dcd13e11a':
  Fixes for x86 compilation with floats.

treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst