id	summary	owner	type	priority	version	resolution
4910	mkStdGen (-2^31) is ⊥		bug	high		fixed