Other Income, Net (Tables)

6 Months Ended

Jun. 30, 2020

Other Income And Expenses [Abstract]

Schedule of Components of Other Income

	Six months ended
	June 30,
	2019			2020
	(In millions)
Securities earnings:
Dividends and interest	$	6.1		$	2.9
Securities transactions, net		.3			(.3	)
Total		6.4			2.6
Currency transactions, net		(.2	)		6.1
Insurance recoveries		5.0			1.6
Infrastructure reimbursement		9.1			19.1
Gain on land sales		.7			.5
Other, net		1.0			1.4
Total	$	22.0		$	31.3