Other Income, Net (Tables)

9 Months Ended

Sep. 30, 2020

Other Income And Expenses [Abstract]

Schedule of Components of Other Income

	Nine months ended
	September 30,
	2019		2020
	(In millions)
Securities earnings:
Dividends and interest	$	8.7	$	3.8
Securities transactions, net		.3		(.3	)
Total		9.0		3.5
Currency transactions, net		5.6		3.2
Insurance recoveries		5.2		1.6
Infrastructure reimbursement		9.2		19.6
Gain on land and related sales		4.4		4.0
Other, net		2.1		2.0
Total	$	35.5	$	33.9