make sure __rand_0_1 does not return 0.0