Revenue recognition - Narrative (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2024	Dec. 31, 2023	Dec. 31, 2022	Dec. 31, 2025
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Amounts included in deferred revenue	$ 286.1
Contract with customer, liability, revenue recognized		$ 270.7	$ 268.3
Remaining performance obligation, amount				$ 567.9
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2026-01-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Remaining performance obligation, percentage				72.00%
Revenue, remaining performance obligation, period (in months)				12 months
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction, Start Date [Axis]: 2027-01-01
Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items]
Remaining performance obligation, percentage				28.00%
Revenue, remaining performance obligation, period (in months)