Use the new PHP `Randomizer::getFloat()`

[Baptouuuu]

The goal is to add a new method on Random to allow to natively generate floats for Set::realNumbers(). The current implementation only generate a few decimal points. With this the langage can generate a wider range of values.

Documentation: https://www.php.net/manual/en/random-randomizer.getfloat.php