Acquisitions (Details) - USD ($) shares in Millions, $ in Millions	Oct. 06, 2023	Jul. 31, 2025
Purple Wave Inc
Business Combination [Line Items]
Noncontrolling interest (as a percent)	20.00%	20.00%
Redeemable noncontrolling interest, fair value	$ 25.2
Purple Wave Inc
Business Combination [Line Items]
Controlling ownership acquired (as a percent)	80.00%
Number of shares issued (in shares)	2.5
Acquisition price	$ 108.0
Merger consideration, fair value	112.1
Acquisition costs	$ 1.2