Re: [PATCH] time: fix rounding to next second

[Duncan Roe via Bug reports for the GNU Bourne Again SHell]

On Fri, Oct 17, 2025 at 10:38:32PM +0200, Bash development wrote:
> On Fri, 17 Oct 2025 15:37:14 -0400, Chet Ramey wrote:
> > 
>
> The same way you could argue that a two precision to mean you don't even
> look past the second digit after the decimal point.
>
> No, I don't see why 0 should get a "special" treatment, different than the 
> other precisions, when it could be easily rounded just the same way.
>
+1