Segment Information - Schedule of Revenue by Timing of Recognition (Details) - USD ($) $ in Millions	12 Months Ended
	Dec. 31, 2025	Dec. 31, 2024	Dec. 31, 2023
Revenue, Major Customer [Line Items]
Total revenues	$ 925.4	$ 860.8	$ 800.9
Point in time
Revenue, Major Customer [Line Items]
Total revenues	620.2	567.0	496.0
Over time
Revenue, Major Customer [Line Items]
Total revenues	$ 305.2	$ 293.8	$ 304.9