Useless. Or at least call it `genrand_real_exclusive`.