Other Income, Net (Tables)

6 Months Ended

Jun. 30, 2022

Other Income And Expenses [Abstract]

Schedule of Components of Other Income

	Six months ended
	June 30,
	2021		2022
	(In millions)
Interest income and other:
Interest and dividends	$	1.9	$	2.8
Securities transactions, net		.1		(.5)
Total		2.0		2.3
Infrastructure reimbursement		6.2		.8
Gain on land and related sales		5.6		—
Currency transactions, net		—		10.4
Other, net		1.0		1.5
Total	$	14.8	$	15.0