v3.25.2
Restricted Cash - Additional Information (Details) - USD ($)
$ in Millions
Jul. 31, 2025
Oct. 31, 2024
Restricted Cash.    
Restricted cash and cash equivalents $ 62.2 $ 60.8