Supported Versions: PHP 4, PHP 5, PHP 7, PHP 8
Format a number with grouped thousands
<?php number_format(    float $num,    int $decimals = 0,    ?string $decimal_separator = ".",    ?string $thousands_separator = ","): string
<?php     {

        $now = new \DateTimeImmutable('@0', new \DateTimeZone('UTC'));

        $numberOfSeconds = $now->add($interval)->getTimestamp() - $now->getTimestamp();

        $title = number_format($numberOfSeconds, 0, '.', ' ').'s';



        $i = [Caster::PREFIX_VIRTUAL.'interval' => new ConstStub(self::formatInterval($interval), $title)];
<?php         $expectedAttribute10 = $var->getAttribute(\NumberFormatter::MULTIPLIER);

        $expectedAttribute11 = $var->getAttribute(\NumberFormatter::GROUPING_SIZE);

        $expectedAttribute12 = $var->getAttribute(\NumberFormatter::ROUNDING_MODE);

        $expectedAttribute13 = number_format($var->getAttribute(\NumberFormatter::ROUNDING_INCREMENT), 1);

        $expectedAttribute14 = $this->getDump($var->getAttribute(\NumberFormatter::FORMAT_WIDTH));

        $expectedAttribute15 = $var->getAttribute(\NumberFormatter::PADDING_POSITION);

        $expectedAttribute16 = $var->getAttribute(\NumberFormatter::SECONDARY_GROUPING_SIZE);