Si solo está buscando convertir una cantidad determinada de segundos al formato HH:MI:SS, esto debería hacerlo
SELECT
TO_CHAR(TRUNC(x/3600),'FM9900') || ':' ||
TO_CHAR(TRUNC(MOD(x,3600)/60),'FM00') || ':' ||
TO_CHAR(MOD(x,60),'FM00')
FROM DUAL
donde x
es el número de segundos.