am ba621ce6: am 72227560: am 8e58d76e: Merge "Do not mention x86 floating point numbers in CFI."

* commit 'ba621ce69074e8fc5f18d2f83e3f0baa81111936':
  Do not mention x86 floating point numbers in CFI.