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