v3.25.1
Commitments and Contingencies (Details Textual)
1 Months Ended 9 Months Ended
Mar. 31, 2025
USD ($)
Dec. 31, 2024
USD ($)
Oct. 31, 2024
USD ($)
Apr. 30, 2025
USD ($)
customer
Jul. 31, 2024
USD ($)
customer
Mar. 31, 2018
USD ($)
Debt Instrument [Line Items]            
Reimbursement       $ 0 $ 0  
Claims outstanding | customer       0 0  
2025 Convertible Senior Notes | Convertible Debt            
Debt Instrument [Line Items]            
Repurchased principal amount   $ 100,000,000 $ 120,900,000 $ 220,900,000    
Payment for debt retirement       354,000,000.0    
Payment of accrued interest, debt $ 1,100,000 300,000 100,000 500,000    
Aggregate principal amount           $ 400,000,000.0
Payment for the maturity of convertible senior notes 179,100,000          
Repayments of convertible debt $ 180,200,000 153,500,000 200,500,000      
Payment or retirement of debt issuance costs   $ 100,000 200,000      
2029 Convertible Senior Notes | Convertible Debt            
Debt Instrument [Line Items]            
Aggregate principal amount     $ 690,000,000.0 $ 690,000,000