Revenues - Additional Information (Details) - USD ($) $ in Millions	3 Months Ended		6 Months Ended
	Jul. 31, 2025	Jul. 31, 2024	Jul. 31, 2025	Jul. 31, 2024	Jan. 31, 2025
Disaggregation of Revenue [Line Items]
Deferred revenue	$ 547.3		$ 547.3		$ 608.6
Deferred revenue, revenue recognized out of beginning balance	244.6	$ 222.5	409.6	$ 397.5
Remaining performance obligation, revenue expected to be recognized	$ 1,500.0		$ 1,500.0
Geographic Concentration Risk | Revenue | United States
Disaggregation of Revenue [Line Items]
Concentration Risk, Percentage	62.00%	65.00%	62.00%	65.00%
Geographic Concentration Risk | Revenue | Japan
Disaggregation of Revenue [Line Items]
Concentration Risk, Percentage	26.00%	22.00%	25.00%	22.00%