Leases (Lease Cost) (Details) - USD ($) $ in Millions	3 Months Ended	6 Months Ended
	Jan. 31, 2020	Jan. 31, 2020
Leases [Abstract]
Operating lease cost	$ 7.7	$ 15.2
Short-term lease cost	0.5	1.1
Total lease costs	$ 8.2	$ 16.3