Revenue (Narrative) (Details) - USD ($) $ in Millions	3 Months Ended
	Oct. 31, 2019	Jul. 31, 2019
Revenue from Contract with Customer [Abstract]
Contract assets	$ 11.8	$ 12.4
Contract liabilities	$ 13.6	$ 10.4
Description of performance obligation timing	Generally, these contracts have terms of one year or less