v3.25.1
Restricted Cash - Additional Information (Details) - USD ($)
$ in Millions
Apr. 30, 2025
Oct. 31, 2024
Restricted Cash.    
Restricted cash and cash equivalents $ 63.1 $ 60.8