XML 59 R45.htm IDEA: XBRL DOCUMENT v3.23.3
Debt - Security (Details) - USD ($)
$ in Millions
Oct. 31, 2023
Jul. 31, 2023
Debt Instrument [Line Items]    
Letters of credit outstanding $ 74.0 $ 74.0
Revolving Credit Facility    
Debt Instrument [Line Items]    
Available borrowing capacity 262.9  
Letter of Credit [Member] | Assets subject to lien    
Debt Instrument [Line Items]    
Other Restricted Assets, Noncurrent $ 74.0