phpランダムな浮動小数点数を生成する

今日プロジェクトのブラシ機能を開発する時、確率で高いレベルの武将をブラシする必要があります.確率の差が大きいため、数値計画は表を記入する時に記入するのは非常に小さい浮動小数点数で、以前確率の問題に出会った時はmt_を使っていました.randは1つの範囲の整数を取って、確率の差が大きい時、ただ乱数の上限の桁数を大きくして、このように数値が調整するならば、コードも調整する必要があって、プログラムの拡張に不利で、しかもランダムな精度の問題に影響して、数値の学友は1つの0-1の間のランダムな浮動小数点数を生成することを提案して、phpが既成の関数が利用できないようだと思って、またマニュアルを調べてみると、以下の方法でこの機能を実現できることがわかりました.

function randomFloat($min = 0, $max = 1) {
    return $min + mt_rand() / mt_getrandmax() * ($max - $min);
}

var_dump(randomFloat());
var_dump(randomFloat(2, 20));