general cleanup of random number generators