ext-random: add random_float() ?

Hi Internals. Congratulations on the release of PHP 8.2. I just recently upgraded production PHP from 7.4 to 8.1 :) Now that my work is done, I was thinking about a proposal for a sunsetting of existing functions for PHP 8.3 based on the features introduced in ext-random, and I realized that there is no alternative to lcg_value(). Essentially, this could be completely replaced by Random\Randomizer::getFloat(), but there are easier random_int() and random_bytes() functions for ints and strings. The Randomizer may be overkill and complicated for PHP use cases where random number reproducibility is not required in many cases. So, why not add a random_float(): float function? This function, like the others, uses CSPRNG and returns a value between 0.0 and 1.0. This behavior is Closed Closed. Opinions are welcome. Regards, Go Kudo