Useless. Or at least call it `genrand_real_left_inclusive`.