Function drandom

library/include/modules/Random.h:72–74

[0, 1)

        }
        // [0, 1)
        double drandom() {
            return double(random())/4294967296.0;
        }
        // [0, 1]
        double drandom1() {
            return double(random())/4294967295.0;