Revenue from Contracts with Customers - Deferred Revenue (Details) - USD ($) $ in Millions |
3 Months Ended | 9 Months Ended | ||
|---|---|---|---|---|
Oct. 31, 2024 |
Oct. 31, 2023 |
Oct. 31, 2024 |
Oct. 31, 2023 |
|
| Revenue from External Customer [Line Items] | ||||
| Deferred revenue | $ 791.9 | $ 791.9 | ||
| Subscription | ||||
| Revenue from External Customer [Line Items] | ||||
| Revenue recognized included in deferred revenue | 240.5 | $ 200.5 | 508.8 | $ 406.1 |
| Deferred revenue | 785.5 | 785.5 | ||
| Professional services | ||||
| Revenue from External Customer [Line Items] | ||||
| Revenue recognized included in deferred revenue | 4.5 | $ 4.4 | 7.7 | $ 7.0 |
| Deferred revenue | $ 6.4 | $ 6.4 | ||