v3.25.2
Goodwill and Intangible Assets (Expected Amortization Expense Relating to Existing Intangible Assets) (Details) - USD ($)
$ in Millions
Jul. 31, 2025
Jul. 31, 2024
Finite-Lived Intangible Assets, Net, Amortization Expense, Fiscal Year Maturity    
2026 $ 9.4  
2027 9.0  
2028 8.6  
2029 7.5  
2030 7.1  
Thereafter 55.8  
Net $ 97.4 $ 171.9