[Boost-users] Random numbers: problem with uniform_real random distribution