Other income, net - Schedule of Components of Other Income (Detail) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2023	Dec. 31, 2022	Dec. 31, 2021
Interest income and other:
Interest and dividends	$ 21.0	$ 10.9	$ 4.0
Securities transactions, net	0.3	(0.5)
Total	21.3	10.4	4.0
Infrastructure reimbursement	25.5	16.0	15.3
Currency transactions, net	1.4	11.5	1.6
Insurance recoveries	3.0	2.8	0.1
Gain on land sales	1.5		16.0
Other, net	2.7	3.0	2.0
Total	$ 55.4	$ 43.7	$ 39.0