optional_optimization branch

svn path=/sandbox-branches/optional_optimization/boost/nondet_random.hpp; revision=77091