XML 22 R13.htm IDEA: XBRL DOCUMENT v3.23.3
Other Assets
9 Months Ended
Sep. 30, 2023
Deferred Costs Capitalized Prepaid And Other Assets Disclosure [Abstract]  
Other Assets

Note 6 – Other assets:

​

​

​

​

​

​

​

​

​

    

December 31, 

    

September 30, 

​

​

2022

​

2023

​

​

(In millions)

Other noncurrent assets:

 

​

  

 

​

  

Restricted cash and cash equivalents

​

$

37.2

​

$

31.2

Note receivables - OPA

​

​

49.3

​

​

47.9

Operating lease right-of-use assets

​

 

21.5

​

 

21.0

Land held for development

​

​

29.7

​

​

19.9

IBNR receivables

​

 

16.8

​

 

13.5

Pension asset

​

 

9.3

​

 

9.0

Other

​

 

24.3

​

 

17.4

Total

​

$

188.1

​

$

159.9

​