On Fri, 2 Dec 2022 at 09:02, Tom Lane <t...@sss.pgh.pa.us> wrote: > > David Rowley <dgrowle...@gmail.com> writes: > > I don't really agree that it will work fine in all cases though. If > > the numeric has more than 1000 digits left of the decimal point then > > the method won't work at all. > > But what we're talking about is starting from a float4 or float8 > input, so it can't be more than ~308 digits.
I may have misunderstood. I thought David J was proposing this as a useful method for rounding numeric too. Re-reading what he wrote, I no longer think he was. David
