<?php number_format( float $num, int $decimals = 0, ?string $decimal_separator = ".", ?string $thousands_separator = ","): string
<?php private function getDuration(float $startTime): string { return number_format(microtime(true) - $startTime, 2); }
