[Boost-users] Newbie question: Random numbers.