v3.25.2
Investments - Short-Term (Details) - U.S. Treasury Securities
$ in Thousands
Oct. 31, 2024
USD ($)
Investments in United States Treasury Securities  
Amortized cost $ 109,123
Gross unrealized gains 2
Fair value $ 109,125
Weighted average yield to maturity 4.78%