Generating "random" numbers in TeX
