Document how random number seeds are being generated