beautify random.WrappedGSLRNG