Acquisition of Ansys - Additional Information (Details) - USD ($) $ in Millions |
3 Months Ended | 6 Months Ended | |||
|---|---|---|---|---|---|
Jul. 17, 2025 |
Apr. 30, 2026 |
Apr. 30, 2025 |
Apr. 30, 2026 |
Apr. 30, 2025 |
|
| Business Combination [Line Items] | |||||
| Transaction costs | $ 7.6 | $ 65.0 | $ 18.2 | $ 121.8 | |
| Ansys, Inc | |||||
| Business Combination [Line Items] | |||||
| Total purchase consideration | $ 34,900.0 | ||||
| Payment to acquire business | 17,600.0 | ||||
| Fair value of common stock issued | $ 17,100.0 | ||||
| X | ||||||||||
- Definition Line items represent financial concepts included in a table. These concepts are used to disclose reportable information associated with domain members defined in one or many axes to the table. Reference 1: http://www.xbrl.org/2003/role/disclosureRef
|
| X | ||||||||||
- Definition Amount of expense for acquisition-related cost incurred to effect business combination. Includes, but is not limited to, finder's fee; advisory, legal, accounting, valuation, and other professional and consulting fees; and general administrative cost, including cost of maintaining internal acquisition department. Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
|
| X | ||||||||||
- Definition Amount of consideration transferred, consisting of acquisition-date fair value of assets transferred by the acquirer, liabilities incurred by the acquirer, and equity interest issued by the acquirer. Reference 1: http://www.xbrl.org/2003/role/exampleRef
|
| X | ||||||||||
- Definition Amount of equity interests of the acquirer, including instruments or interests issued or issuable in consideration for the business combination. Reference 1: http://www.xbrl.org/2003/role/exampleRef
|
| X | ||||||||||
- Definition The cash outflow associated with the acquisition of business during the period. The cash portion only of the acquisition price. Reference 1: http://www.xbrl.org/2003/role/exampleRef
|
| X | ||||||||||
- Details
|