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