Easy way: take the result of rand::mk_rng().next() and divide it by 4294967296.0, yielding a float in the range [0.0,1.0]