v3.25.2
Marketable Securities - Available-for-sale Debt Securities (Details)
$ in Millions
Jun. 30, 2025
USD ($)
Debt Securities, Available-for-Sale [Line Items]  
Amortized Cost $ 87.8
Fair Value 88.3
U.S. government and agency securities  
Debt Securities, Available-for-Sale [Line Items]  
Amortized Cost 48.6
Gross Unrealized Gains 0.3
Fair Value 48.9
Corporate bonds and notes  
Debt Securities, Available-for-Sale [Line Items]  
Amortized Cost 39.2
Gross Unrealized Gains 0.2
Fair Value $ 39.4