PostgreSQL:cómo convertir segundos en un campo numérico a HH:MM:SS

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

o, en su caso

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