Clean up the random number example