Notes Payable - Note Issuances (Details) - Notes payable - USD ($)	Jun. 30, 2023	Jan. 31, 2023
5.050% Notes due January 2026
Debt
Interest rate (as a percent)	5.05%	5.05%
Principal (Currency Denomination)	$ 500,000,000.0	$ 500,000,000
Price of par value (as a percent)	99.618%
Effective yield (as a percent)	5.189%
4.850 Notes due March 2030
Debt
Interest rate (as a percent)	4.85%
Principal (Currency Denomination)	$ 600,000,000.0
Price of par value (as a percent)	98.813%
Effective yield (as a percent)	5.047%
4.700% Notes due December 2028
Debt
Interest rate (as a percent)	4.70%
Principal (Currency Denomination)	$ 400,000,000.0
Price of par value (as a percent)	98.949%
Effective yield (as a percent)	4.912%
4.900% Notes due in July 2033
Debt
Interest rate (as a percent)	4.90%
Principal (Currency Denomination)	$ 600,000,000.0
Price of par value (as a percent)	98.02%
Effective yield (as a percent)	5.148%