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

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