random number between a float range for PHP

random.php

/**
 * 範囲内の値をランダムで返す
 * 
 * @param float $min 最小値
 * @param float $max 最大値
 * @return float
 */
function random_float($min, $max, $mul = 1000000): float 
{
    return random_int($min * $mul, $max * $mul) / $mul;
}