Financing and Leases - Convertible Senior Notes (Details) - Series 2023A Convertible Senior Notes Due 2025 - Convertible Debt $ / shares in Units, $ in Millions		1 Months Ended
	Feb. 28, 2023 USD ($) $ / shares	Feb. 28, 2023 USD ($) d $ / shares	Mar. 31, 2023 USD ($)
Debt Instrument [Line Items]
Aggregate principal amount | $	$ 1,500	$ 1,500	$ 225
Interest rate	3.875%	3.875%
Conversion ratio		0.0118818
Conversion price (in dollars per share) | $ / shares	$ 84.16	$ 84.16
Redemption price	100.00%
Debt Conversion Terms One
Debt Instrument [Line Items]
Trading day threshold		20
Consecutive trading day threshold		30
Stock price trigger threshold, percentage		130.00%
Debt Conversion Terms Two
Debt Instrument [Line Items]
Trading day threshold		5
Consecutive trading day threshold		10
Stock price trigger threshold, percentage		98.00%