XML 77 R65.htm IDEA: XBRL DOCUMENT v3.20.2
Leases (Details)
$ in Millions
Jul. 31, 2020
USD ($)
Lessee, Lease, Description [Line Items]  
Lessee, operating lease, lease not yet commenced, liability $ 57.0
Minimum  
Lessee, Lease, Description [Line Items]  
Lessee, operating lease, lease not yet commenced, term of contract 3 years
Maximum  
Lessee, Lease, Description [Line Items]  
Lessee, operating lease, renewal term 10 years
Lessee, operating lease, lease not yet commenced, term of contract 9 years