Debt - Senior Notes (Details) - Senior notes	Sep. 18, 2023 USD ($)	Jun. 12, 2020 USD ($)	May 14, 2020 USD ($)	Jul. 04, 2026	Dec. 31, 2025	Jun. 12, 2020 EUR (€)
5.850% Senior Notes Due September 18, 2028
Debt Instrument [Line Items]
Aggregate principal amount of debts	$ 600,000,000.0
Interest rate (as a percent)	5.85%
Debt issuance costs	$ 5,600,000
1.75% Senior Notes, payable June 12, 2027; interest payable annually
Debt Instrument [Line Items]
Aggregate principal amount of debts | €						€ 500,000,000.0
Interest rate (as a percent)				1.75%	1.75%	1.75%
Debt issuance costs		$ 4,400,000
3.625% Senior Notes, payable May 15, 2030; interest payable semi-annually
Debt Instrument [Line Items]
Aggregate principal amount of debts			$ 500,000,000.0
Interest rate (as a percent)			3.625%	3.625%	3.625%
Debt issuance costs			$ 5,500,000