Deferred Revenue - Performance Obligations (Details) $ in Millions	Sep. 30, 2022 USD ($)
Performance obligations
Remaining performance obligations	$ 25.0
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2022-10-01
Performance obligations
Remaining performance obligations	$ 1.5
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period	3 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2023-01-01
Performance obligations
Remaining performance obligations	$ 11.2
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period	2 years
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2025-01-01
Performance obligations
Remaining performance obligations	$ 9.3
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period	2 years
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2027-01-01
Performance obligations
Remaining performance obligations	$ 3.0
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Period