[boost] [Random] design of the random library