[boost] [Boost] [Random] reproducing numbers generated by R.