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