Other Income, Net (Tables)

9 Months Ended

Sep. 30, 2022

Other Income And Expenses [Abstract]

Schedule of Components of Other Income

	Nine months ended
	September 30,
	2021		2022
	(In millions)
Interest income and other:
Interest and dividends	$	2.8	$	6.2
Securities transactions, net		.1		(.6)
Total		2.9		5.6
Infrastructure reimbursement		6.2		10.8
Gain on land sales		16.0		—
Currency transactions, net		1.2		17.1
Insurance recoveries		—		2.7
Other, net		1.6		1.9
Total	$	27.9	$	38.1