v3.25.2
Short-Term Borrowings and Long-Term Debt (Future Maturities of Long Term Debt) (Details) - USD ($)
$ in Millions
Jul. 31, 2025
Jul. 31, 2024
Maturities of Long-term Debt    
2026 $ 6.7  
2027 0.0  
2028 206.7  
2029 141.6  
2030 185.0  
Thereafter 100.0  
Total future maturities payments 640.0  
Debt issuance costs, net (2.9) $ (1.6)
Subtotal $ 637.1