Leases (Supplemental Information) (Details) - USD ($) $ in Millions	Jan. 31, 2020	Aug. 01, 2019	Jul. 31, 2019
Leases [Abstract]
Right-of-use lease assets	$ 76.0	$ 71.5	$ 0.0
Current lease liabilities	25.9	26.0	0.0
Long-term lease liabilities	$ 50.1	$ 45.5	$ 0.0
Weighted average remaining lease term (years)	4 years	3 years 8 months 12 days
Weighted average discount rates (percentage)	3.81%	3.76%