converter decimal para hora

boa tarde

estou tendo problemas para fazer a amostragem de um campo hora no meu sistema
tenho que fazer uma consulta no banco de dados(PostgreSQL 9+)

select extract(epoch from ‘2015-02-13 17:58:00’::timestamp - ‘2015-02-13 12:30:00’::timestamp)/3600 as hora;

eu poderia fazer algo assim:
select ‘2015-02-13 17:58:00’::timestamp - ‘2015-02-13 12:30:00’::timestamp as hora;

mais possivelmente o meu tempo poderá passar de 24 horas e o meu pessoal não que ver esse valor: 5.46666666666667
e sim: 05:28:00

claro que pra mim o mais importante é que o banco grave o primeiro pra ser mais fácil futuros cálculos
mais alguém tem uma dica para eu manter o primeiro e apenas mostrar o segundo

(partedecimal*60)/1 para transformar o quebrado em minutos dai junta a parte inteira para mostrar