v3.25.1
Financial Instruments (Details)
$ in Millions
Mar. 31, 2025
USD ($)
Financial instruments  
Cash secured by FDIC $ 0.6
US Federal Deposit Insurance Corporation  
Financial instruments  
Credit risk $ 85.3