RE: [Boost-users] Problem with boost random library.