Reports calls to
java.util.Random.nextDouble(), which are used to create a positive integer number, by multiplying
the call with a factor and casting to an integer. For generating a random positive integer in a range,
java.util.Random.nextInt(int) is simpler and more efficient.