Then in your benchmark, you can do

    timeIt(1000000...) { javaRand.nextInt() }