new_seed
Re-seed the random number generator