¿Cómo convertir segundos al formato Hora:Minuto:Segundo en PHP?

¡Hola a todos! Soy nuevo en PHP y me encontré con esta tarea: tengo una variable que almacena la cantidad de segundos, por ejemplo 3665. Necesito mostrar este tiempo en un formato legible HH:MM:SS, es decir, 1:01:05. \n\nIntenté simplemente dividir por 3600, 60 y usar el resto de la división, pero me sale algo incorrecto. Aquí está mi código:\n\n```php\n\n```\n\nEl problema es que las horas se muestran como 1.0180555555556 y los minutos como 1.0833333333333. Entiendo que se necesita redondeo, pero si uso intval, se pierden los residuos. ¿Pueden indicarme cómo hacerlo correctamente? Necesito que las horas, minutos y segundos sean números enteros, y además que el formato tenga ceros a la izquierda (por ejemplo, 01:01:05, no 1:1:5). ¡Gracias de antemano!\n\n<<>>\n

Solución usando división y formato

\n\n

Su error principal es que al dividir obtiene un número decimal.