XML 60 R49.htm IDEA: XBRL DOCUMENT v3.25.0.1
Pending Acquisition of Ansys (Details)
$ / shares in Units, $ in Millions
3 Months Ended 6 Months Ended
Jan. 31, 2025
USD ($)
Jan. 31, 2024
USD ($)
Jun. 30, 2025
USD ($)
$ / shares
Oct. 03, 2024
USD ($)
Feb. 13, 2024
USD ($)
Business Acquisition [Line Items]          
Transaction costs $ 56.8 $ 31.9      
Bridge Commitment | Bridge Loan | Line of Credit          
Business Acquisition [Line Items]          
Decrease in credit facility maximum borrowing capacity       $ 1,100.0  
Credit facility maximum borrowing capacity $ 10,600.0     $ 10,600.0  
Term Loan Agreement | Line of Credit          
Business Acquisition [Line Items]          
Credit facility maximum borrowing capacity         $ 4,300.0
ANSYS, Inc. | Forecast          
Business Acquisition [Line Items]          
Total purchase consideration     $ 35,000.0    
Business acquisition, exchange ratio     0.3450    
Business acquisition, share price | $ / shares     $ 197.00    
Business acquisition, maximum stock to be issued as a percentage of stock issued and outstanding     19.9999%    
Termination fee payable     $ 1,500.0    
Termination fee receivable     $ 950.0