am 1be96c57: am 4b5874fa: Merge "Correctness: floating point equality using bits instead of ==."

* commit '1be96c579a34924bd20f19a0911b101ade08b0f3':
  Correctness: floating point equality using bits instead of ==.