XML 117 R102.htm IDEA: XBRL DOCUMENT v3.20.2
Leases (Lease Cost) (Details)
$ in Millions
12 Months Ended
Jul. 31, 2020
USD ($)
Leases [Abstract]  
Operating lease cost $ 30.1
Short-term lease cost 2.4
Total lease costs $ 32.5