Converter em Formato HH:MM:SS

Tenho a querie abaixo e o resultado do campo "Tempo Liberados" é apresentado em decimal, porém gostaria de transformar em formato HH:MM:SS.

Alguém sabe como eu poderia realizar essa ação.

SELECT
DISTINCT LET.DS_LEITO LEITO
, ATE.CD_ATENDIMENTO
, PAC.NM_PACIENTE PACIENTE
, PSO.NM_PRESTADOR
, TO_DATE(TO_CHAR (MI.DT_MOV_INT, 'DD/MM/YYYY') || (TO_CHAR (MI.HR_MOV_INT, ' HH24:MI:SS')),'DD/MM/YYYY HH24:MI:SS') AS LIBERAÇÃO
, TO_DATE(SYSDATE, 'DD/MM/YYYY HH24:MI:SS') AS AGORA
, (TO_DATE(SYSDATE, 'DD/MM/YYYY HH24:MI:SS')
- (TO_DATE(TO_CHAR (MI.DT_MOV_INT, 'DD/MM/YYYY')
|| (TO_CHAR (MI.HR_MOV_INT, ' HH24:MI:SS')),'DD/MM/YYYY HH24:MI:SS'))) AS TEMPO_LIBERADOS

FROM ATENDIME ATE
INNER JOIN PACIENTE PAC
ON ATE.CD_PACIENTE = PAC.CD_PACIENTE
AND ATE.TP_ATENDIMENTO = 'I'
AND ATE.DT_ALTA IS NULL
INNER JOIN LEITO LET
ON ATE.CD_LEITO = LET.CD_LEITO
INNER JOIN UNID_INT UNI
ON LET.CD_UNID_INT = UNI.CD_UNID_INT
AND UNI.DS_UNID_INT = 'VIRTUAL'
LEFT JOIN PRESTADOR PSO
ON PSO.CD_PRESTADOR = ATE.CD_PRESTADOR
LEFT JOIN MOV_INT MI
ON ATE.CD_ATENDIMENTO = MI.CD_ATENDIMENTO
AND ATE.CD_LEITO = MI.CD_LEITO
WHERE MI.CD_MOV_INT = (SELECT MAX (MOV.CD_MOV_INT) FROM MOV_INT MOV WHERE MI.CD_MOV_INT = MOV.CD_MOV_INT)
ORDER BY LEITO;