Borrowing Arrangements - Schedule of Fair Value of Market Price (Details) - Senior Notes - USD ($)	Jul. 31, 2025	Jun. 30, 2025	Oct. 31, 2021	Jan. 31, 2020	Jun. 30, 2017
2017 Notes
Debt Instrument [Line Items]
Aggregate Principal Amount	$ 500,000,000				$ 500,000,000
Fair value	493,000,000
2020 Notes
Debt Instrument [Line Items]
Aggregate Principal Amount	500,000,000			$ 500,000,000
Fair value	467,000,000
2021 Notes
Debt Instrument [Line Items]
Aggregate Principal Amount	1,000,000,000		$ 1,000,000,000.0
Fair value	873,000,000
2025 Notes
Debt Instrument [Line Items]
Aggregate Principal Amount	500,000,000	$ 500,000,000
Fair value	$ 507,000,000