Leases (Lease Cost) (Details) - USD ($) $ in Millions	3 Months Ended	9 Months Ended
	Apr. 30, 2020	Apr. 30, 2020
Leases [Abstract]
Operating lease cost	$ 7.5	$ 22.7
Short-term lease cost	0.5	1.6
Total lease costs	$ 8.0	$ 24.3