Jon Willeke - 2002-06-26

extended precision $random()