Leases, Other supplemental data related to operating leases (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2024	Dec. 31, 2023	Dec. 31, 2022
Leases
Cash paid for amounts included in the measurement of lease liabilities: Operating cash flows from operating leases	$ 141.0	$ 114.3	$ 109.3
Right-of-use assets obtained in exchange for lease liabilities	$ 227.6	$ 115.2	$ 164.5
Weighted Average Remaining Lease Term	6 years	5 years	5 years
Weighted Average Discount Rate	4.30%	3.60%	2.70%