v3.25.2
Debt - Convertible Senior Notes Due 2025 (Details) - 2025 Convertible Notes - Senior Notes
$ / shares in Units, shares in Millions, $ in Millions
1 Months Ended
May 01, 2025
USD ($)
May 14, 2018
USD ($)
$ / shares
Apr. 30, 2025
USD ($)
shares
Dec. 31, 2022
USD ($)
Debt Instrument [Line Items]        
Converted principal amount     $ 97.0  
Debt conversion, further issued (in shares) | shares     6.1  
Repayments of debt $ 6.4      
Principal amount   $ 172.5    
Repurchased principal amount       $ 69.1
Repurchase price       $ 62.9
Stated interest rate   2.375%    
Conversion rate per $1,000 principal amount   0.0628931    
Conversion price, per share (in dollars per share) | $ / shares   $ 15.90