v3.25.2
Investments - Investments in Privately-Held Companies (Details) - USD ($)
$ in Millions
Jun. 30, 2025
Dec. 31, 2024
Privately-held Companies    
Investments in Privately-Held Companies and Investments in Equity Securities with Readily Determinable Fair Values    
Investments in privately-held companies $ 59.0 $ 59.0