fixed small, but infinite, bug in Randem.NextDouble()