v3.25.2
Employee Benefit Plans (Obligations and Funded Status of Company's Pension Plans) (Details) - USD ($)
$ in Millions
12 Months Ended
Jul. 31, 2025
Jul. 31, 2024
Jul. 31, 2023
Change in projected benefit obligation      
Service cost $ 4.3 $ 5.2 $ 6.7
Interest cost 19.6 20.4 17.0
Actuarial (gain) loss 2.3 1.5 2.1
Pension Plan      
Change in projected benefit obligation      
Projected benefit obligation, beginning of year 403.7 401.1  
Service cost 4.3 5.2  
Interest cost 19.6 20.4  
Plan amendments 0.0 (0.1)  
Participant contributions 0.8 0.8  
Actuarial (gain) loss (7.1) 11.7  
Foreign currency exchange rates 6.5 (1.8)  
Settlements paid 0.0 (15.6)  
Acquisition 0.0 0.6  
Benefits paid (25.4) (18.6)  
Projected benefit obligation, end of year 402.4 403.7 401.1
Change in fair value of plan assets      
Fair value of plan assets, beginning of year 413.3 416.0  
Actual return on plan assets 8.1 28.4  
Company contributions 2.7 2.8  
Participant contributions 0.8 0.8  
Foreign currency exchange rates 5.6 (1.1)  
Settlements paid 0.0 (15.6)  
Acquisition 0.0 0.6  
Benefits paid (25.4) (18.6)  
Fair value of plan assets, end of year 405.1 413.3 $ 416.0
Defined Benefit Plan, Funded (Unfunded) Status of Plan      
Funded status of plans, end of year 2.7 9.6  
Amounts recognized on the Consolidated Balance Sheets      
Other long-term assets 33.9 35.8  
Other current liabilities (1.4) (1.5)  
Other long-term liabilities (29.8) (24.7)  
Net recognized asset $ 2.7 $ 9.6