Other income, net - Schedule of Components of Other Income (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2025	Dec. 31, 2024	Dec. 31, 2023
Interest income and other:
Interest and dividends	$ 16.5	$ 21.8	$ 21.0
Securities transactions, net	0.1	0.2	0.3
Total	16.6	22.0	21.3
Infrastructure reimbursement	34.6	31.7	25.5
Currency transactions, net	5.4	1.6	1.4
Insurance recoveries		1.4	3.0
Gain on land sales		0.5	1.5
Other, net	2.5	4.6	2.7
Total	$ 59.1	$ 61.8	$ 55.4