PostgreSQL - Como converter segundos em um campo numérico para HH:MM:SS

SELECT  TO_CHAR('1000 second'::interval, 'HH24:MI:SS')

SELECT  TO_CHAR((mycolumn || ' second')::interval, 'HH24:MI:SS')
FROM    mytable