Timestamp with precision output format with trailing zeros

[Eugene Podshivalov]

Hi,
>
> # select '2022-01-06 18:00:00.000+03'::timestamptz(3);
>       timestamptz
> ------------------------
>  2022-01-06 18:00:00+03

Would it be more correct to output zero milliseconds if the column has
precision defined?

Regards,
Eugene