Other Income, Net (Tables)

9 Months Ended

Sep. 30, 2023

Other Income And Expenses [Abstract]

Schedule of Components of Other Income

	Nine months ended
	September 30,
	2022		2023
	(In millions)
Interest income and other:
Interest and dividends	$	6.2	$	14.4
Securities transactions, net		(.6)		.1
Total		5.6		14.5
Infrastructure reimbursement		10.8		5.1
Currency transactions, net		17.1		4.6
Insurance recoveries		2.7		2.5
Gain on land sales		—		1.5
Other, net		1.9		2.9
Total	$	38.1	$	31.1