Se stai solo cercando di convertire un determinato numero di secondi nel formato HH:MI:SS, questo dovrebbe farlo
SELECT
TO_CHAR(TRUNC(x/3600),'FM9900') || ':' ||
TO_CHAR(TRUNC(MOD(x,3600)/60),'FM00') || ':' ||
TO_CHAR(MOD(x,60),'FM00')
FROM DUAL
dove x
è il numero di secondi.