Other methods might need to be redefined, see the file “stdlib/Random/src/RNGs.jl” for details. Also this will need more work if you want to be thread-safe.
This is unfortunately completely at odds with having the default RNG be fast, so it isn’t supported and likely won’t be. Consider: if the default RNG type is changeable, that would prevent inlining calls to it or specializing on the type in any way. So, if you need reproducibility of exact RNG streams, you’ll need to explicitly pass RNG arguments around.