Re: Fix floating-point noise in pg_stat_us_to_ms()

John Naylor <johncnaylorls@gmail.com>

From: John Naylor <johncnaylorls@gmail.com>
To: Bertrand Drouvot <bertranddrouvot.pg@gmail.com>
Cc: pgsql-hackers@lists.postgresql.org
Date: 2026-07-02T06:38:54Z
Lists: pgsql-hackers
On Wed, Jul 1, 2026 at 4:05 PM John Naylor <johncnaylorls@gmail.com> wrote:
>
> On Mon, Jun 29, 2026 at 2:02 PM Bertrand Drouvot
> <bertranddrouvot.pg@gmail.com> wrote:
> > Given that / 1000.0 is the most common way to do this kind of computation in the
> > code tree, I think that it makes sense to update pg_stat_us_to_ms() to do so.
>
> +1, I'll take care of this.

Pushed.

--
John Naylor
Amazon Web Services



Commits

  1. Fix loss of precision in pg_stat_us_to_ms()