Changed random_dist so that the valuation is always non-negative.