Use yet another random number generator