Deferred Revenue and Commissions - Remaining Performance Obligation (Details) $ in Millions	May 04, 2025 USD ($)
Revenue from Contract with Customer [Abstract]
Contracted but not recognized revenue	$ 2,700.0
Non-cancelable product orders	55.7
Lessor arrangement	$ 43.1

Amount of transaction price allocated to performance obligation that has not been recognized as revenue.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Name Accounting Standards Codification
-Section 50
-Paragraph 13
-Subparagraph (a)
-SubTopic 10
-Topic 606
-Publisher FASB
-URI https://asc.fasb.org/1943274/2147479806/606-10-50-13

Name:	us-gaap_RevenueRemainingPerformanceObligation
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant