>>> How can I format an interval?
Well, there are several possibilities such as to_char() and EXTRACT()
...
> I want something like the default format but without the milliseconds.
... but for this particular problem, why not just round the given
interval to an integral number of seconds, by casting it to interval(0)?
regards, tom lane