Embellish random number example, add benchmarks.