[NEST Users] Re: Use of another RNG