Testing with 1.47.0, I know we added an assert min <= max But is min==max valid? I just tried testing with a uniform_real (0,0), and it seems to hang forever. I haven't tried to fully analyze the code, but I'm guessing this could be a problem: if(result < max_value) return result; So should that assert be min < max? Also, I find it unfortunate that it is not possible to use uniform_real (x,x) as a limiting case - it occurs naturally in my code when I don't actually want to generate a range of values but just a constant value.