Ah yes, good point - TIMTOWTDI, but I think sprintf is more your friend for this:

return sprintf("%d:%02d",$hours,$mins);
[download]

cLive ;-)