XML 40 R31.htm IDEA: XBRL DOCUMENT v3.23.3
Fair Value of Financial Instruments - Fair values of other financial instruments (Details) - USD ($)
$ in Millions
Sep. 30, 2023
Dec. 31, 2022
Convertible notes 2025 | Level 2    
Fair Value of Financial Instruments    
Fair value of debt $ 0.0 $ 671.9