Notes Payable - Note Issuances (Details) - Notes payable	Sep. 30, 2023 USD ($)	Sep. 30, 2023 EUR (€)	Jan. 31, 2023 USD ($)
5.050% Notes due January 2026
Debt
Interest rate (as a percent)	5.05%	5.05%	5.05%
Principal amount	$ 500,000,000.0		$ 500,000,000
Price of par value (as a percent)	99.618%	99.618%
Effective yield to maturity (as a percent)	5.189%	5.189%
4.850 Notes due March 2030
Debt
Interest rate (as a percent)	4.85%	4.85%
Principal amount	$ 600,000,000.0
Price of par value (as a percent)	98.813%	98.813%
Effective yield to maturity (as a percent)	5.047%	5.047%
4.700% Notes due December 2028
Debt
Interest rate (as a percent)	4.70%	4.70%
Principal amount	$ 400,000,000.0
Price of par value (as a percent)	98.949%	98.949%
Effective yield to maturity (as a percent)	4.912%	4.912%
4.900% Notes due in July 2033
Debt
Interest rate (as a percent)	4.90%	4.90%
Principal amount	$ 600,000,000.0
Price of par value (as a percent)	98.02%	98.02%
Effective yield to maturity (as a percent)	5.148%	5.148%
4.875% Notes due in July 2030
Debt
Interest rate (as a percent)	4.875%	4.875%
Principal amount | €		€ 550,000,000
Price of par value (as a percent)	99.421%	99.421%
Effective yield to maturity (as a percent)	4.975%	4.975%
5.125% Notes due in July 2034
Debt
Interest rate (as a percent)	5.125%	5.125%
Principal amount | €		€ 550,000,000
Price of par value (as a percent)	99.506%	99.506%
Effective yield to maturity (as a percent)	5.185%	5.185%