Como converter segundos para o formato Hora:Minuto:Segundo em PHP?

Olá a todos! Sou novo em PHP e me deparei com a seguinte tarefa: tenho uma variável que armazena a quantidade de segundos, por exemplo 3665. Preciso exibir esse tempo em um formato legível HH:MM:SS, ou seja, 1:01:05. Tentei simplesmente dividir por 3600, 60 e usar o resto da divisão, mas estou obtendo resultados errados. Aqui está meu código: ```php ``` O problema é que as horas são exibidas como 1.0180555555556 e os minutos como 1.0833333333333. Entendo que preciso de arredondamento, mas se usar intval, perco os restos. Alguém pode me dizer como fazer corretamente? Preciso que horas, minutos e segundos sejam números inteiros, e que o formato tenha zeros à esquerda.