* commit '4b5874fad099faefb469c632e4c7b854cea733ae': Correctness: floating point equality using bits instead of ==.