v3.25.2
Leases (Lease Cost) (Details) - USD ($)
$ in Millions
12 Months Ended
Jul. 31, 2025
Jul. 31, 2024
Leases [Abstract]    
Operating lease cost $ 33.5 $ 29.5
Short-term lease cost 3.3 3.0
Total lease costs $ 36.8 $ 32.5