Financial instruments - Additional Information (Details) - USD ($) $ in Millions |
9 Months Ended | |
---|---|---|
Sep. 30, 2023 |
Dec. 31, 2022 |
|
Investments, All Other Investments [Abstract] | ||
Non-marketable securities | $ 32.3 | $ 18.5 |
Marketable securities, weighted average life | 6 months |