XML 74 R62.htm IDEA: XBRL DOCUMENT v3.23.3
Commitments and Contingencies (Details)
$ in Millions
Sep. 30, 2023
USD ($)
Aug. 08, 2023
USD ($)
Dec. 31, 2022
USD ($)
Oct. 09, 2015
buyer
Dec. 31, 2007
USD ($)
Long-term Purchase Commitment [Line Items]          
Patriot Black Lung, Payment for Settlement   $ 72.0      
Patriot Federal Black Lung, Gain (Loss) Due to Settlement   3.9      
Patriot Federal Black Lung, Settlement Fees   $ 4.2      
Patriot          
Long-term Purchase Commitment [Line Items]          
Number of buyers | buyer       2  
Black Lung Occupational Disease Liability | Patriot | Spinoff          
Long-term Purchase Commitment [Line Items]          
Initially determined potential exposure from patriot bankruptcy         $ 150.0
Black Lung Occupational Disease Liability | Patriot | Disposal Group, Disposed of by Means Other than Sale, Not Discontinued Operations          
Long-term Purchase Commitment [Line Items]          
Initially determined potential exposure from patriot bankruptcy     $ 82.3    
Capital Addition Purchase Commitments          
Long-term Purchase Commitment [Line Items]          
Unrecorded unconditional purchase obligation (within next five years) $ 91.1        
Unrecorded unconditional purchase obligation (within next 12 months) $ 84.7