Batched ranged random integer generation. - Nevin Brackett-Rozinsky; Daniel Lemire (Softw. Pract. Exp., 2025)