=8.1 return number_format($num ?? 0.0, $decimals, $decimal_separator, $thousands_separator); }