Fix bug 685: document the range of Random and setRandom