XML 12 R76.htm IDEA: XBRL DOCUMENT v3.20.1
Debt (Details) - USD ($)
3 Months Ended 6 Months Ended
Dec. 11, 2018
Apr. 30, 2020
Apr. 30, 2020
Apr. 30, 2019
Oct. 31, 2019
Revolving Credit Facility [Line Items]          
Proceeds from line of credit     $ 300,000,000 $ 0  
Repayment of line of credit     (300,000,000) 0  
Revolving Credit Facility [Member]          
Revolving Credit Facility [Line Items]          
Proceeds from line of credit     300,000,000.0 $ 0  
Repayment of line of credit     (300,000,000.0)    
Debt maturity date Dec. 11, 2023        
Unsecured revolving credit facility issued $ 300,000,000.0        
Unsecured revolving credit facility issued, maximum $ 400,000,000.0        
Debt instrument term 5 years        
Line of credit, amount outstanding   $ 0 0   $ 0
Line of credit interest expense paid   $ 500,000 $ 500,000