v3.25.1
Debt - Security (Details) - USD ($)
$ in Millions
Apr. 30, 2025
Jan. 15, 2025
Jul. 31, 2024
Jul. 10, 2024
Debt        
Aggregate principal amount   $ 75.0   $ 124.5
Letters of credit outstanding $ 154.9   $ 193.4  
Revolving Credit Facility        
Debt        
Aggregate principal amount 154.9      
Available borrowing capacity 153.9      
Assets subject to lien under the Credit Facility $ 333.2