XML 49 R38.htm IDEA: XBRL DOCUMENT v3.24.0.1
Investments - Short-Term (Details) - U.S. Treasury Securities - USD ($)
$ in Millions
Jan. 31, 2024
Oct. 31, 2023
Investments in United States Treasury Securities    
Amortized cost $ 0.0 $ 103.8
Weighted average yield to maturity 5.45%