v3.25.2
Income Taxes (Components of Earnings Before Income Taxes) (Details) - USD ($)
$ in Millions
12 Months Ended
Jul. 31, 2025
Jul. 31, 2024
Jul. 31, 2023
Earnings before income taxes:      
U.S. $ 245.5 $ 233.4 $ 178.0
Foreign 246.7 301.9 290.7
Total $ 492.2 $ 535.3 $ 468.7