XML 55 R45.htm IDEA: XBRL DOCUMENT v3.24.0.1
Debt (Details) - USD ($)
$ in Millions
6 Months Ended
Jan. 31, 2024
Jul. 31, 2023
Debt Instrument [Line Items]    
Shelf Notes $ 75.0  
Shelf Note, Expiration Date Sep. 21, 2026  
Unsecured Debt $ 75.0 $ 50.0
Letters of Credit Outstanding, Amount $ 1.0 1.0
Series B Senior Notes    
Debt Instrument [Line Items]    
Debt Instrument, Maturity Date Range, Start May 15, 2021  
Face Amount $ 10.0  
Annual Rate 3.95%  
Debt Instrument, Maturity Date Range, End May 15, 2030  
Senior Notes $ 7.0  
Series C Senior Notes    
Debt Instrument [Line Items]    
Debt Instrument, Maturity Date Range, Start Dec. 16, 2021  
Face Amount $ 25.0  
Annual Rate 3.25%  
Debt Instrument, Maturity Date Range, End Dec. 16, 2031  
Line of Credit    
Debt Instrument [Line Items]    
Maximum Borrowing Capacity $ 45.0  
Maximum Borrowing Capacity for letters of credit $ 10.0  
Line of Credit Facility, Expiration Date Aug. 30, 2027  
Line of credit amount outstanding $ 0.0 $ 0.0
Line of Credit | Prime Rate    
Debt Instrument [Line Items]    
Variable interest rate 8.50%  
Line of Credit | Secured Overnight Financing Rate (SOFR) Overnight Index Swap Rate    
Debt Instrument [Line Items]    
Variable interest rate 5.32%