Benchmarking of various random number sources