On Fri, Mar 21, 2025 at 08:32:51AM +0100, Richard Biener wrote: > > So I really think we should go to mpfr, I can implement it tomorrow unless > > Richi wants to do that. > > Go to mpfr for the string conversions? Yeah, maybe that's a good > idea.
Actually, thinking about it some more, perhaps it would be enough to just call real_from_decimal with a different precision the second time + adjust the string. Jakub