Revenue Recognition - Contract Balances (Details) - USD ($) $ in Millions	3 Months Ended	6 Months Ended
Jul. 31, 2023	Jul. 31, 2022	Jul. 31, 2023	Jul. 31, 2022	Jan. 31, 2023
Revenue from Contract with Customer [Abstract]
Unbilled contracts receivable	$ 115.6		$ 115.6		$ 91.6
Revenue recognized included in deferred revenue	$ 593.9	$ 572.7	$ 939.2	$ 867.6

Unbilled amounts due for services rendered or to be rendered, actions taken or to be taken, or a promise to refrain from taking certain actions in accordance with the terms of a legally binding agreement between the entity and, at a minimum, one other party. An example would be amounts associated with contracts or programs where the recognized revenue for performance thereunder exceeds the amounts billed under the terms thereof as of the date of the balance sheet.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 912
-SubTopic 310
-Name Accounting Standards Codification
-Section 45
-Paragraph 2
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482312/912-310-45-2

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