sebhaub

I face the same problem, @NathanChannon did you find a solution / Workaround?

nice - this PR is exactly what i currently miss in the random provider. @bendbennett is there something missing / preventing to merge this ?