XML 85 R38.htm IDEA: XBRL DOCUMENT v3.22.4

LEASES: (Tables)

12 Months Ended

Dec. 31, 2022

LEASES:

Schedule of the operating lease expense recognized

The operating lease expense recognized in the years ended December 31, 2022, 2021 and 2020 was classified as follows (in millions):

​

​	​	​	​	​	​	​	​	​	​
Classification		2022			2021		​	2020
Cost of sales (exclusive of depreciation, amortization and depletion)		$	115.5	​	$	108.1	​	$	114.4
Selling, general and administrative	​		0.1	​		0.1	​		0.2
Exploration	​		0.1	​		0.2	​		0.2
Total lease expense		$	115.7	​	$	108.4	​	$	114.8

​

Schedule of Maturities of lease liabilities

​

​	​	​	​
​	​	Lease liabilities
Year		(in millions)
2023		$	115.5
2024	​		107.5
2025	​		106.2
2026	​		106.0
2027	​		105.7
After 2027	​		523.4
Total lease payments		$	1,064.3
Less: interest on lease liabilities	​		(212.9)
Present value of lease payments		$	851.4

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
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 50
-Paragraph 4
-URI https://asc.fasb.org/extlink&oid=128292326&loc=SL77918686-209980

+ 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
-Publisher FASB
-Name Accounting Standards Codification
-Topic 842
-SubTopic 20
-Section 50
-Paragraph 6
-URI https://asc.fasb.org/extlink&oid=128292326&loc=SL77918701-209980

+ Details

Name:	us-gaap_LesseeOperatingLeaseLiabilityMaturityTableTextBlock
Namespace Prefix:	us-gaap_
Data Type:	dtr-types:textBlockItemType
Balance Type:	na
Period Type:	duration