Leases (Supplemental Information) (Details) - USD ($) $ in Millions	Oct. 31, 2019	Aug. 01, 2019
Leases [Abstract]
Right-of-use lease assets	$ 79.3	$ 71.5
Current lease liabilities	24.8	26.0
Long-term lease liabilities	$ 54.4	$ 45.5
Weighted average remaining lease term (years)	4 years 1 month 6 days	3 years 8 months 12 days
Weighted average discount rates (percentage)	3.74%	3.76%