XML 69 R57.htm IDEA: XBRL DOCUMENT v3.23.1
Commitments and Contingencies (Details)
$ in Millions
Mar. 31, 2023
USD ($)
Dec. 31, 2022
USD ($)
Oct. 09, 2015
buyer
Dec. 31, 2007
USD ($)
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 $ 80.7 $ 82.3    
Capital Addition Purchase Commitments        
Long-term Purchase Commitment [Line Items]        
Unrecorded unconditional purchase obligation (within next five years) 105.4      
Unrecorded unconditional purchase obligation (within next 12 months) $ 97.4