[Boost-users] Using Boost.Random with fixed-point numbers