I'll do that. And I shall start implementing the easier variant that was suggested. (Converting all the Floats in the limit to Rational and Evaluate). Please let me know if you have found any better alternative/method on discussion with @asmeurer