XML 78 R65.htm IDEA: XBRL DOCUMENT v3.25.3
Commitments and Contingent Liabilities - Narrative (Details) - United Mine Workers of America 1992 Benefit Plan Litigation - Pending Litigation
$ in Millions
9 Months Ended
Sep. 30, 2025
USD ($)
Loss Contingencies [Line Items]  
Lawsuit beginning amount $ 64.8
Damages value 25.6
Annual servicing costs $ 10.0