Leases (Lease Cost) (Details) - USD ($) $ in Millions	12 Months Ended
	Jul. 31, 2024	Jul. 31, 2023
Leases [Abstract]
Operating lease cost	$ 29.5	$ 24.5
Short-term lease cost	3.0	3.2
Total lease costs	$ 32.5	$ 27.7