XML 52 R43.htm IDEA: XBRL DOCUMENT v3.25.1
Acquisitions - Summary of Adjusted Purchase Price (Details) - Broadcom Business Acquisition - USD ($)
$ in Millions
9 Months Ended
Jan. 19, 2025
Mar. 29, 2025
Business Acquisition [Line Items]    
Cash $ 198.0  
Adjustments to consideration transferred   $ 47.6
Adjusted purchase price   $ 245.6