FloatTime to Date-Format

<?php

# Waldelt eine Uhrzeit im Float-Format in eine Uhrzeit um
# Format siehe https://www.php.net/manual/de/function.date.php
function format_floadTime($dezTime, $format = " H:i:s") {
 
  $hour = floor($dezTime);
  $dezMinute = round(($dezTime - $hour) * 60, 2);
  $minute = floor($dezMinute);  
  $seconds = round(($dezMinute - $minute) * 60, 0);  
  return date($format, mktime($hour, $minute, $seconds));
}        
  
  $x = '6.25';   
  echo format_floadTime($x) ;
?>