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