Other Income, Net (Tables)

6 Months Ended

Jun. 30, 2023

Other Income And Expenses [Abstract]

Schedule of Components of Other Income

	Six months ended
	June 30,
	2022		2023
	(In millions)
Interest income and other:
Interest and dividends	$	2.8	$	9.4
Securities transactions, net		(.5)		.2
Total		2.3		9.6
Gain on land sales		—		1.5
Currency transactions, net		10.4		8.5
Insurance recoveries		—		2.2
Infrastructure reimbursement		.8		—
Other, net		1.5		1.8
Total	$	15.0	$	23.6