Other Operating Expense, Net (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	Jan. 31, 2021	Jan. 31, 2020	Jan. 31, 2021	Jan. 31, 2020
Other Operating Expense, Net (Details) [Line Items]
Received from sale of third party	$ 2.0
Straight Path [Member]
Other Operating Expense, Net (Details) [Line Items]
Legal fees	1.4	$ 0.6	$ 1.7	$ 1.2
Recorded gains from insurance	$ 1.1	$ 0.4	$ 1.7	$ 0.8