[Boost-users] Boost.Random: Some proposed fixes