Move to random-lib for random number generation.