XML 55 R66.htm IDEA: XBRL DOCUMENT v3.19.3
Leases (Lease Cost) (Details)
$ in Millions
3 Months Ended
Oct. 31, 2019
USD ($)
Leases [Abstract]  
Operating lease cost $ 7.5
Short-term lease cost 0.6
Total lease costs $ 8.1