rtddev Extended Random Number Generator