XML 87 R69.htm IDEA: XBRL DOCUMENT v3.20.4
Leases (Details)
$ in Millions
Oct. 31, 2020
USD ($)
Lessee, Lease, Description [Line Items]  
Lessee, operating lease, lease not yet commenced, liability $ 58.6
Lessor, operating lease, payments to be received $ 69.6
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
Minimum  
Lessee, Lease, Description [Line Items]  
Lessee, operating lease, lease not yet commenced, term of contract 3 years