Other income, net - Schedule of Components of Other Income (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	Jun. 30, 2025	Jun. 30, 2024	Jun. 30, 2025	Jun. 30, 2024
Interest income and other:
Interest and dividends			$ 7.8	$ 11.0
Securities transactions, net			0.2	0.2
Total			8.0	11.2
Infrastructure reimbursement			17.5
Currency transactions, net			5.0	2.0
Other, net			1.4	2.7
Total	$ 31.1	$ 3.7	$ 31.9	$ 15.9
LandWell
Interest income and other:
Infrastructure development cost reimbursement, for public infrastructure cost as tax increment	17.2
Infrastructure development cost reimbursed, for past costs incurred	$ 0.3