Changed to Boost random