Revenue Recognition - Contract Balances (Details) - USD ($) $ in Millions	3 Months Ended
Apr. 30, 2023	Apr. 30, 2022	Jan. 31, 2023
Revenue from Contract with Customer [Abstract]
Unbilled contracts receivable	$ 107.1		$ 91.6
Revenue recognized included in deferred revenue	$ 576.8	$ 541.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
-Publisher FASB
-Name Accounting Standards Codification
-Topic 912
-SubTopic 310
-Section 45
-Paragraph 2
-URI https://asc.fasb.org/extlink&oid=126938201&loc=d3e55302-109406

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