PostgreSQL - Hoe seconden in een numeriek veld te converteren naar HH:MM:SS

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

of, in jouw geval

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