XML 52 R40.htm IDEA: XBRL DOCUMENT v3.25.3
Marketable Securities - Available-for-sale Debt Securities (Details)
$ in Millions
Sep. 30, 2025
USD ($)
Debt Securities, Available-for-Sale [Line Items]  
Amortized Cost $ 103.5
Fair Value 104.1
U.S. government and agency securities  
Debt Securities, Available-for-Sale [Line Items]  
Amortized Cost 44.6
Gross Unrealized Gains 0.2
Fair Value 44.8
Corporate bonds and notes  
Debt Securities, Available-for-Sale [Line Items]  
Amortized Cost 58.9
Gross Unrealized Gains 0.4
Fair Value $ 59.3