am 06396abf: am 2c210bb9: am 6adb3df8: am 1be96c57: am 4b5874fa: Merge "Correctness: floating point equality using bits instead of ==."

* commit '06396abfe648b84e4c17d0e4a98a6cd34d57aaab':