Re: Rounding strategy

2021-04-23 Thread rudolphfroger
Thanks a lot! Cheers, Rudolph On 23-04-2021 10:51, Laurenz Albe wrote: On Fri, 2021-04-23 at 09:40 +0200, Laurenz Albe wrote: Makes sense. Here is an updated patch. I see that you have already committed your proposed version. Thanks! Yours, Laurenz Albe

Re: Rounding strategy

2021-04-23 Thread Laurenz Albe
On Fri, 2021-04-23 at 09:40 +0200, Laurenz Albe wrote: > Makes sense. Here is an updated patch. I see that you have already committed your proposed version. Thanks! Yours, Laurenz Albe

Re: Rounding strategy

2021-04-23 Thread Laurenz Albe
On Thu, 2021-04-22 at 13:50 -0400, Tom Lane wrote: > Laurenz Albe writes: > > On Mon, 2021-04-19 at 08:00 +, PG Doc comments form wrote: > > > The 'round' mathematical function documentation doesn't specify its > > > rounding > > > strategy. If this would be documented then users can rely on

Re: Rounding strategy

2021-04-22 Thread Tom Lane
Laurenz Albe writes: > On Mon, 2021-04-19 at 08:00 +, PG Doc comments form wrote: >> The 'round' mathematical function documentation doesn't specify its rounding >> strategy. If this would be documented then users can rely on its rounding >> behavior. For double precision the rounding probably

Re: Rounding strategy

2021-04-22 Thread Laurenz Albe
On Mon, 2021-04-19 at 08:00 +, PG Doc comments form wrote: > The 'round' mathematical function documentation doesn't specify its rounding > strategy. If this would be documented then users can rely on its rounding > behavior. For double precision the rounding probably depends on your > platform

Re: Rounding strategy

2021-04-19 Thread Laurenz Albe
On Mon, 2021-04-19 at 08:00 +, PG Doc comments form wrote: > The following documentation comment has been logged on the website: > > Page: https://www.postgresql.org/docs/13/functions-math.html > Description: > > The 'round' mathematical function documentation doesn't specify its rounding > s