solve_as_rational cleanup after set difference PR