XML 64 R39.htm IDEA: XBRL DOCUMENT v3.22.4
Investments - Short-Term (Details) - U.S. Treasury Securities - USD ($)
$ in Thousands
3 Months Ended
Nov. 14, 2022
Jan. 31, 2023
Investments in United States Treasury Securities    
U.S. Treasury Securities purchased $ 75,000 $ 75,000
Amortized cost   75,652
Gross unrealized losses   (24)
Fair value   $ 75,628
Weighted average yield to maturity   4.36%