XML 62 R51.htm IDEA: XBRL DOCUMENT v3.25.1
Pending Acquisition of Ansys (Details)
$ / shares in Units, $ in Millions
3 Months Ended 6 Months Ended
Apr. 30, 2025
USD ($)
Apr. 30, 2024
USD ($)
Jun. 30, 2025
USD ($)
$ / shares
Apr. 30, 2025
USD ($)
Apr. 30, 2024
USD ($)
Oct. 03, 2024
USD ($)
Feb. 13, 2024
USD ($)
Business Combination [Line Items]              
Transaction costs $ 65.0 $ 25.3   $ 121.8 $ 57.2    
Term Loan Agreement | Line of Credit              
Business Combination [Line Items]              
Maximum borrowing capacity             $ 4,300.0
Bridge Loan | Bridge Commitment | Line of Credit              
Business Combination [Line Items]              
Maximum borrowing capacity $ 690.0     $ 690.0   $ 10,600.0  
Forecast | ANSYS, Inc.              
Business Combination [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