SELECT TO_CHAR('1000 second'::interval, 'HH24:MI:SS')
o, nel tuo caso
SELECT TO_CHAR((mycolumn || ' second')::interval, 'HH24:MI:SS')
FROM mytable
SELECT TO_CHAR('1000 second'::interval, 'HH24:MI:SS')
o, nel tuo caso
SELECT TO_CHAR((mycolumn || ' second')::interval, 'HH24:MI:SS')
FROM mytable