They use formal RNGs examined from the independent laboratories getting reasonable outcomes