Revenue from Contracts with Customers - Deferred Revenue (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	Jul. 31, 2024	Jul. 31, 2023	Jul. 31, 2024	Jul. 31, 2023
Revenue from External Customer [Line Items]
Deferred revenue	$ 765.1		$ 765.1
Subscription
Revenue from External Customer [Line Items]
Revenue recognized included in deferred revenue	230.6	$ 191.4	394.0	$ 315.5
Deferred revenue	757.3		757.3
Professional services
Revenue from External Customer [Line Items]
Revenue recognized included in deferred revenue	5.3	$ 5.4	7.5	$ 7.0
Deferred revenue	$ 7.9		$ 7.9