| I would be willing to try to create a better version of | randomIvalInteger, if that would be desirable. Matt, I think that would be extremely desirable, thank you! You clearly know more about generating random numbers that we do here (well, I speak for myself, certainly) and what's more you have the issues paged into you head. So if you can supply a substitute Random.lhs that still implements the same interface (I don't want to change H98), we'll just use it. In modifying randomIvalInteger, please add comments to explain why the new version works, and to draw attention to the 'obvious way that doesn't work' (i.e. using mod). Lest someone change it back in 3 yrs time in a misguided attempt to make it more efficient. Thanks Simon
