Other Income, Net (Tables)

3 Months Ended

Mar. 31, 2023

Other Income And Expenses [Abstract]

Schedule of Components of Other Income

	Three months ended
	March 31,
	2022		2023
	(In millions)
Interest income and other:
Interest and dividends	$	1.1	$	4.8
Securities transactions, net		(.2)		.1
Total		.9		4.9
Currency transactions, net		(1.5)		5.4
Insurance recoveries		—		1.7
Other, net		.6		1.1
Total	$	—	$	13.1