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

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