Fat Rand: How many lines do you need to generate a random number?