Leases (Details) - USD ($) $ in Millions	12 Months Ended
	Jul. 31, 2019	Jul. 31, 2018	Mar. 31, 2020
Leases [Abstract]
Lease expense	$ 15.5	$ 8.7
Lease not yet commenced, amount			$ 10.8
Lease not yet commenced, term			10 years