XML 87 R76.htm IDEA: XBRL DOCUMENT v3.23.2
Financial Instruments and Fair Value Measurements (Narrative) (Details) - Measurement Input, Discount Rate [Member]
Jun. 30, 2023
Sep. 30, 2022
Long-Term Debt [Member] | Weighted Average [Member]    
Fair Value Assets And Liabilities Measured On Recurring And Nonrecurring Basis Valuation Techniques [Line Items]    
Interest rate used to measure long-term debt 5.6  
Long Term Notes Receivable from Municipalities [Member]    
Fair Value Assets And Liabilities Measured On Recurring And Nonrecurring Basis Valuation Techniques [Line Items]    
Interest rate used to measure municipal notes 2.7 3.5
Investments in Short-Term Time Deposits [Member]    
Fair Value Assets And Liabilities Measured On Recurring And Nonrecurring Basis Valuation Techniques [Line Items]    
Interest rate used to measure short-term time deposits 7.0 6.1