Improved implementation of random number generation within a range
Merge pull request #5444 from lindahua/dh/randi3

Improved implementation of random number generation within a range