Other Income, Net - Schedule of Components of Other Income (Detail) - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Sep. 30, 2023	Sep. 30, 2022	Sep. 30, 2023	Sep. 30, 2022
Interest income and other:
Interest and dividends			$ 14.4	$ 6.2
Securities transactions, net			0.1	(0.6)
Total			14.5	5.6
Infrastructure reimbursement			5.1	10.8
Currency transactions, net			4.6	17.1
Insurance recoveries		$ 2.7	2.5	2.7
Gain on land sales			1.5	0.0
Other, net			2.9	1.9
Total	$ 7.5	$ 23.1	$ 31.1	$ 38.1