On Wed, 15 May 2024 at 13:23, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>
> Michael Paquier <michael@paquier.xyz> writes:
> > Perhaps Alvaro and Tom would like to chime in, as committers of
> > respectively 5de890e3610d and 06286709ee06?
>
> No objection here. In a green field I might argue for
> round-to-nearest instead of round-up, but it looks like we
> have several precedents for round-up, so let's avoid changing
> that existing behavior.
Thanks. I've pushed the patch now.
David
