Revenue Recognition - Contract Balances (Details) - USD ($) $ in Millions	3 Months Ended	6 Months Ended
Jul. 31, 2024	Jul. 31, 2023	Jul. 31, 2024	Jul. 31, 2023	Jan. 31, 2024
Revenue from Contract with Customer [Abstract]
Unbilled accounts receivable	$ 119.9		$ 119.9		$ 124.8
Revenue recognized included in deferred revenue	$ 609.4	$ 593.9	$ 955.4	$ 939.2

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 45
-Paragraph 3
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479837/606-10-45-3

Reference 2: 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 3: 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