Accounts Receivable Purchase and Sales Agreement (Details) - USD ($) $ in Millions	Jul. 01, 2021	Dec. 31, 2022	Nov. 30, 2022	Jun. 01, 2022	Dec. 31, 2021	Jun. 30, 2021	Jan. 31, 2017
5.50% senior notes due January 2023
Accounts Receivable Purchase and Sales Agreements
Interest rate on senior notes (as a percent)		5.50%	5.50%		5.50%
5.10% senior notes due September 2023
Accounts Receivable Purchase and Sales Agreements
Interest rate on senior notes (as a percent)		5.10%			5.10%
0.75% senior exchangeable notes due January 2024
Accounts Receivable Purchase and Sales Agreements
Interest rate on senior notes (as a percent)		0.75%			0.75%		0.75%
A/R Purchase Agreement
Accounts Receivable Purchase and Sales Agreements
Agreement amount						$ 250.0
Receivables sold		$ 208.0			$ 113.0
A/R Purchase Agreement, First Amendment
Accounts Receivable Purchase and Sales Agreements
Agreement amount	$ 150.0
Agreement expiration term	2 years
A/R Purchase Agreement, Third Amendment
Accounts Receivable Purchase and Sales Agreements
Agreement amount				$ 250.0
A/R Purchase Agreement, Third Amendment | Accelerated Expiration of Agreement, June 17, 2023 | 5.10% senior notes due September 2023
Accounts Receivable Purchase and Sales Agreements
Interest rate on senior notes (as a percent)				5.10%
A/R Purchase Agreement, Third Amendment | Accelerated Expiration of Agreement, October 17, 2023 | 0.75% senior exchangeable notes due January 2024
Accounts Receivable Purchase and Sales Agreements
Interest rate on senior notes (as a percent)				0.75%
Threshold amount of remaining principal balance				$ 88.5
A/R Purchase Agreement, Third Amendment | Maximum
Accounts Receivable Purchase and Sales Agreements
Agreement amount				$ 300.0
Asset Pledged as Collateral | A/R Purchase Agreement
Accounts Receivable Purchase and Sales Agreements
Balance of receivables		$ 62.3			$ 44.2