Se você está apenas procurando converter um determinado número de segundos no formato HH:MI:SS, isso deve funcionar
SELECT
TO_CHAR(TRUNC(x/3600),'FM9900') || ':' ||
TO_CHAR(TRUNC(MOD(x,3600)/60),'FM00') || ':' ||
TO_CHAR(MOD(x,60),'FM00')
FROM DUAL
onde
x é o número de segundos. 
