lambdify(modules='mpmath') doesn't wrap rationals py eqn = Eq(rf(18,x), 77 + S(1)/3) f = lambdify(x, eqn.lhs…

lambdify(modules='mpmath') doesn't wrap rationals py eqn = Eq(rf(18,x), 77 + S(1)/3) f = lambdify(x, eqn.lhs…: a task in Lego-RL-SWE-Bench-Verified (Harbor dataset). This results in reduced precision results from nsolve , because the 232/3 isn't evaluated at full precision.