XML 38 R29.htm IDEA: XBRL DOCUMENT v3.23.2
Marketable Securities (Tables)
6 Months Ended
Jun. 30, 2023
Investments Debt And Equity Securities [Abstract]  
Schedule of Marketable Securities

​

​

​

​

​

​

​

​

​

​

​

​

​

​

​

​

Cost or

​

​

​

​

​

​

​

​

amortized

​

Unrealized

​

​

Market value

​

cost

​

loss, net

​

​

(In millions)

December 31, 2022:

 

​

  

 

​

  

 

​

  

Current assets

​

$

75.1

​

$

75.7

​

$

(.6)

​

​

​

​

​

​

​

​

​

​

Noncurrent assets

​

$

1.2

​

$

1.2

​

$

—

​

​

​

​

​

​

​

​

​

​

June 30, 2023:

​

 

  

​

 

  

​

 

  

Current assets

​

$

99.0

​

$

99.4

​

$

(.4)

​

​

​

​

​

​

​

​

​

​

Noncurrent assets

​

$

3.3

​

$

3.5

​

$

(.2)