a random seed need not be an int.