Income Taxes - Income Taxes Paid, Net (Details) $ in Millions	12 Months Ended
	Dec. 31, 2025 USD ($)
Income Tax Paid, by Individual Jurisdiction [Line Items]
Income taxes paid, net	$ 86.9
Australia
Income Tax Paid, by Individual Jurisdiction [Line Items]
Income taxes paid, net	5.8
China
Income Tax Paid, by Individual Jurisdiction [Line Items]
Income taxes paid, net	8.1
Germany
Income Tax Paid, by Individual Jurisdiction [Line Items]
Income taxes paid, net	13.2
India
Income Tax Paid, by Individual Jurisdiction [Line Items]
Income taxes paid, net	13.6
Switzerland
Income Tax Paid, by Individual Jurisdiction [Line Items]
Income taxes paid, net	11.0
Other foreign jurisdictions
Income Tax Paid, by Individual Jurisdiction [Line Items]
Income taxes paid, net	14.0
United States
Income Tax Paid, by Individual Jurisdiction [Line Items]
Income taxes paid, net	$ 21.2