rand: add rand64_between()