random_*_using
API for using given RNG
#337
Merged
random_*_using
API for using given RNG
#337