Related Parties (Details) - Related Party - USD ($) $ in Millions	3 Months Ended		9 Months Ended
	Sep. 30, 2023	Sep. 30, 2022	Sep. 30, 2023	Sep. 30, 2022
Related Party Transaction [Line Items]
Revenues			$ 0.4	$ 0.5
Director
Related Party Transaction [Line Items]
Revenues	$ 0.1	$ 0.1