[boost] Random numbers question