Range methods in Random.java