They normally use formal RNGs tested of the separate laboratories having reasonable effects