XML 121 R30.htm IDEA: XBRL DOCUMENT
v3.25.2

LEASES: (Tables) | 6 Months Ended
--- | ---
Jun. 30, 2025
LEASES: |
Schedule of the operating lease expense recognized | The operating lease expense recognized in the six-month periods ended June 30, 2025 and 2024 was classified as follows (in millions): ​
​ | ​ | ​ | ​ | ​ | ​ | ​
Classification |  | 2025 |  | 2024
Cost of sales (exclusive of depreciation, amortization and depletion) |  | $ | 57.6 | ​ | $ | 48.7
Selling, general and administrative | ​ |  | (*) | ​ |  | (*)
Exploration | ​ |  | 0.1 | ​ |  | 0.1
Total lease expense |  | $ | 57.7 | ​ | $ | 48.8
(*) amount is lower than $0.1 million.
Schedule of Maturities of lease liabilities | ​
​ | ​ | ​ | ​
​ | ​ | Lease liabilities
Year |  | (in millions)
2025 |  | $ | 57.7
2026 | ​ |  | 115.1
2027 | ​ |  | 114.6
2028 | ​ |  | 114.0
2029 | ​ |  | 112.9
After 2029 | ​ |  | 317.3
Total lease payments |  | $ | 831.5
Less: interest on lease liabilities | ​ |  | (130.9)
Present value of lease payments |  | $ | 700.7
​

X
- Definition Tabular disclosure of lessee's lease cost. Includes, but is not limited to, interest expense for finance lease, amortization of right-of-use asset for finance lease, operating lease cost, short-term lease cost, variable lease cost and sublease income. + References Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 842 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 4 -Publisher FASB -URI https://asc.fasb.org/1943274/2147478964/842-20-50-4 + Details
Name: | us-gaap_LeaseCostTableTextBlock
Namespace Prefix: | us-gaap_
Data Type: | dtr-types:textBlockItemType
Balance Type: | na
Period Type: | duration

X
- References No definition available. + Details
Name: | us-gaap_LeasesAbstract
Namespace Prefix: | us-gaap_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition Tabular disclosure of undiscounted cash flows of lessee's operating lease liability. Includes, but is not limited to, reconciliation of undiscounted cash flows to operating lease liability recognized in statement of financial position. + References Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef -Topic 842 -SubTopic 20 -Name Accounting Standards Codification -Section 50 -Paragraph 6 -Publisher FASB -URI https://asc.fasb.org/1943274/2147478964/842-20-50-6 + Details
Name: | us-gaap_LesseeOperatingLeaseLiabilityMaturityTableTextBlock
Namespace Prefix: | us-gaap_
Data Type: | dtr-types:textBlockItemType
Balance Type: | na
Period Type: | duration