v3.25.2
Employee Benefit Plans (Changes in Fair Value of U.S. Pension Plans' Level 3 Assets) (Details) - Pension Plan - USD ($)
$ in Millions
12 Months Ended
Jul. 31, 2025
Jul. 31, 2024
Jul. 31, 2023
Change in fair value of plan assets      
Fair value of plan assets, beginning of year $ 413.3 $ 416.0  
Fair value of plan assets, end of year 405.1 413.3 $ 416.0
Level 3      
Change in fair value of plan assets      
Fair value of plan assets, beginning of year 42.7 41.3 35.4
Unrealized gains 3.3 3.4 2.7
Foreign currency exchange 2.6 (0.8) 3.0
Purchases and sales, net 0.9 (1.2) 0.2
Fair value of plan assets, end of year $ 49.5 $ 42.7 $ 41.3