> Allocating memory (with the GC) is both pure and nothrow

Ahh, clear.  I guess future-wise we are not guaranteed that `.save` of RNG types will always use the GC, but I think there's no blocker for this patch, in that case.