https://php.watch/versions/8.3/Randomizer-getFloat-nextFloat

The Random extension in PHP 8.3 adds \Random\Randomizer::getFloat() and \Random\Randomizer::nextFloat() methods that generate a random float value.

There is also a new \Random\IntervalBoundary Enum that can be used as a parameter for the getFloat method to indicate whether the $min and $max boundaries should be inclusive or not.

Required

1. Confirm my assessment that no change is required