<?php

$Utilizador1 = 0.5;
$Utilizador2 = 137;

echo 'Utilizador 1: ' . $Utilizador1 = convertHoras($Utilizador1) . ' horas';
echo PHP_EOL;
echo 'Utilizador 2: ' . $Utilizador2 = convertHoras($Utilizador2) . ' horas';

function convertHoras($horasInteiras) {

    // Define o formato de saida
    $formato = '%02d:%02d';
    // Converte para minutos
    $minutos = $horasInteiras * 60;

    // Calcula para o formato hora
    
    $horas = floor($minutos / 60);
    $minutos = ($minutos % 60);

    // Retorna o valor
    return sprintf($formato, $horas, $minutos);
}