Investments - Short-Term (Details) - U.S. Treasury Securities $ in Thousands	9 Months Ended
	Jul. 31, 2023 USD ($)
Investments in United States Treasury Securities
U.S. Treasury Securities purchased	$ 195,800
US Treasury Securities sold	120,900
Amortized cost	77,431
Gross unrealized losses	(38)
Fair value	$ 77,393
Weighted average yield to maturity	5.09%