[Boost-users] big integer and rayleigh distribution