Quarterly report [Sections 13 or 15(d)]

Financial Instruments (Details)

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