v3.24.3
Debt (Convertible Senior Notes) (Details)
$ / shares in Units, shares in Millions, $ in Millions
1 Months Ended 3 Months Ended
Jun. 30, 2020
USD ($)
day
shares
$ / shares
Oct. 31, 2024
USD ($)
shares
Oct. 31, 2023
USD ($)
shares
Jul. 31, 2024
USD ($)
Debt Instrument, Redemption        
Repayments of debt | $   $ 319.0 $ 46.0  
2025 Notes        
Debt Instrument, Redemption        
Aggregate principal amount | $ $ 2,000.0      
Contractual interest rate (in percentage) 0.375% 0.75%    
Threshold percentage of stock price trigger (in percentage) 130.00%      
Threshold trading days (in days) 20      
Threshold consecutive trading days (in days) 30      
Redemption price (in percentage) 100.00%      
Number of common stock convertible at initial conversion rate (in shares) | shares 20.1      
Initial conversion rate (in shares per $1,000 principal amount) 0.0100806      
Initial conversion price (in usd per share) | $ / shares $ 99.20      
Repurchase price as percentage of principal amount in event of change (in percentage) 100.00%      
Repayments of debt | $   $ 319.0 $ 46.0  
Settlement of convertible notes (in shares) | shares   2.3 0.3  
2025 Notes | Level 2        
Debt Instrument, Redemption        
Fair value of convertible senior notes | $   $ 2,300.0   $ 3,200.0
Option to Convert - 2025 Notes | Circumstance 1        
Debt Instrument, Redemption        
Threshold percentage of stock price trigger (in percentage) 130.00%      
Threshold trading days (in days) 20      
Threshold consecutive trading days (in days) 30      
Option to Convert - 2025 Notes | Circumstance 2        
Debt Instrument, Redemption        
Threshold percentage of stock price trigger (in percentage) 98.00%      
Threshold trading days (in days) 5      
Threshold consecutive trading days (in days) 5