Revenue Recognition - Contract Balances (Details) - USD ($) $ in Millions	3 Months Ended	6 Months Ended
Jul. 31, 2025	Jul. 31, 2024	Jul. 31, 2025	Jul. 31, 2024	Jan. 31, 2025
Revenue from Contract with Customer [Abstract]
Unbilled accounts receivable, net current	$ 85.2		$ 85.2		$ 118.5
Revenue recognized included in deferred revenue	$ 644.9	$ 609.4	$ 1,015.2	$ 955.4

Amount, after allowance for credit loss, of right to consideration in exchange for good or service transferred to customer when right is conditioned on something other than passage of time, classified as current.

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

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 3
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479837/606-10-45-3

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 606
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 1
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479837/606-10-45-1

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

Name:	us-gaap_ContractWithCustomerAssetNetCurrent
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant