Decided not to have a default RNG type