Revenues - Disaggregation of Revenues by Source (Details) - USD ($) $ in Millions	3 Months Ended
Mar. 31, 2025	Mar. 31, 2024
Disaggregation Of Revenue [Line Items]
Total revenues	$ 1,513.9	$ 1,435.0
Software-enabled Services [Member]
Disaggregation Of Revenue [Line Items]
Total revenues	1,269.9	1,187.7
Maintenance and Term Licenses [Member]
Disaggregation Of Revenue [Line Items]
Total revenues	213.2	218.8
Professional Services [Member]
Disaggregation Of Revenue [Line Items]
Total revenues	23.9	23.8
Perpetual Licenses [Member]
Disaggregation Of Revenue [Line Items]
Total revenues	$ 6.9	$ 4.7

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.

Amount, excluding tax collected from customer, of revenue from satisfaction of performance obligation by transferring promised good or service to customer. Tax collected from customer is tax assessed by governmental authority that is both imposed on and concurrent with specific revenue-producing transaction, including, but not limited to, sales, use, value added and excise.

+ References

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 41
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482810/280-10-50-41

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 270
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 1
-Subparagraph (i)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482964/270-10-50-1

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 32
-Subparagraph (ee)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482810/280-10-50-32

Reference 4: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 32
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482810/280-10-50-32

Reference 5: http://fasb.org/us-gaap/role/ref/otherTransitionRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 32
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482810/280-10-50-32

Reference 6: http://www.xbrl.org/2003/role/disclosureRef
-Topic 924
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 1
-Subparagraph (SAB Topic 11.L)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479941/924-10-S99-1

Reference 7: http://www.xbrl.org/2003/role/disclosureRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 5
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479806/606-10-50-5

Reference 8: http://www.xbrl.org/2003/role/disclosureRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 30
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482810/280-10-50-30

Reference 9: http://www.xbrl.org/2003/role/disclosureRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 42
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482810/280-10-50-42

Reference 10: http://www.xbrl.org/2003/role/disclosureRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 22
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482810/280-10-50-22

Reference 11: http://www.xbrl.org/2003/role/disclosureRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 40
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482810/280-10-50-40

Reference 12: http://www.xbrl.org/2003/role/disclosureRef
-Topic 280
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 22
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147482810/280-10-50-22

Reference 13: http://www.xbrl.org/2003/role/disclosureRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 4
-Subparagraph (a)
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479806/606-10-50-4

+ Details