Other Intangible Assets, Net (Details) - USD ($) $ in Millions	Oct. 31, 2020	Jan. 31, 2020
Finite-Lived Intangible Assets [Line Items]
Other intangible assets, at cost	$ 1,204.5	$ 1,179.3
Less: Accumulated amortization	(1,025.1)	(972.2)
Other intangible assets, net	179.4	207.1
Developed technologies
Finite-Lived Intangible Assets [Line Items]
Other intangible assets, at cost	664.8	647.1
Customer relationships, trade names, patents, and user lists
Finite-Lived Intangible Assets [Line Items]
Other intangible assets, at cost	$ 539.7	$ 532.2