simpler transitive Float == Rational equality implementation [#3102].