XML 76 R54.htm IDEA: XBRL DOCUMENT v3.25.0.1
Indebtedness - Senior Notes Exchange (Details) - 2029 Senior Note Exchanges
$ in Thousands
5 Months Ended
Oct. 31, 2024
USD ($)
Debt Conversion [Line Items]  
Aggregate Principal Amount of Existing Notes Accepted for Exchange $ 895,373
Aggregate Principal Amount of Notes Delivered $ 609,999
Existing 4.50% 2025 Notes  
Debt Conversion [Line Items]  
Existing Notes Exchanged, Interest rate 4.50%
Aggregate Principal Amount of Existing Notes Accepted for Exchange $ 181,000
Aggregate Principal Amount of Notes Delivered $ 183,981
Existing 2.650% 2026 Notes  
Debt Conversion [Line Items]  
Existing Notes Exchanged, Interest rate 2.65%
Aggregate Principal Amount of Existing Notes Accepted for Exchange $ 159,512
Aggregate Principal Amount of Notes Delivered $ 114,803
Existing 2.400% 2027 Notes  
Debt Conversion [Line Items]  
Existing Notes Exchanged, Interest rate 2.40%
Aggregate Principal Amount of Existing Notes Accepted for Exchange $ 269,216
Aggregate Principal Amount of Notes Delivered $ 164,162
Existing 3.450% 2031 Notes  
Debt Conversion [Line Items]  
Existing Notes Exchanged, Interest rate 3.45%
Aggregate Principal Amount of Existing Notes Accepted for Exchange $ 285,645
Aggregate Principal Amount of Notes Delivered $ 147,053