Accounts Receivable Purchase and Sales Agreement (Details) - USD ($) $ in Millions	Jul. 01, 2021	Dec. 31, 2023	Jun. 30, 2023	Dec. 31, 2022	Jun. 01, 2022	Mar. 21, 2022	Jun. 30, 2021	Jan. 31, 2017
5.50% senior notes due January 2023
Accounts Receivable Sales Agreement
Interest rate on senior notes (as a percent)				5.50%
5.10% senior notes due September 2023
Accounts Receivable Sales Agreement
Interest rate on senior notes (as a percent)		5.10%	5.10%	5.10%
0.75% senior exchangeable notes due January 2024
Accounts Receivable Sales Agreement
Interest rate on senior notes (as a percent)		0.75%		0.75%		0.75%		0.75%
A/R Purchase Agreement
Accounts Receivable Sales Agreement
Agreement amount							$ 250.0
Receivables sold		$ 145.0		$ 208.0
A/R Purchase Agreement | Asset Pledged as Collateral
Accounts Receivable Sales Agreement
Balance of receivables		$ 67.0		$ 62.3
A/R Purchase Agreement, First Amendment
Accounts Receivable Sales Agreement
Agreement amount	$ 150.0
Agreement expiration term	2 years
A/R Purchase Agreement, Third Amendment
Accounts Receivable Sales Agreement
Agreement amount					$ 250.0
A/R Purchase Agreement, Third Amendment | Maximum
Accounts Receivable Sales Agreement
Agreement amount					$ 300.0