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