Revenue Recognition - Narrative 1 (Details 1) $ in Millions	Sep. 30, 2023 USD ($)
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue, remaining performance obligation	$ 57.3
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2023-10-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue, remaining performance obligation	$ 3.5
Expected timing of performance obligation satisfaction, period	3 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2024-01-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue, remaining performance obligation	$ 8.2
Expected timing of performance obligation satisfaction, period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2025-01-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue, remaining performance obligation	$ 6.1
Expected timing of performance obligation satisfaction, period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2026-01-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue, remaining performance obligation	$ 5.2
Expected timing of performance obligation satisfaction, period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2027-01-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue, remaining performance obligation	$ 4.6
Expected timing of performance obligation satisfaction, period	2027 years
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2028-01-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue, remaining performance obligation	$ 3.9
Expected timing of performance obligation satisfaction, period	1 year
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date: 2029-01-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Revenue, remaining performance obligation	$ 25.8
Expected timing of performance obligation satisfaction, period	1 year