Acquisitions - Schedule of Fair Value of Contingent Consideration (Details) - Clearpath Robotics - Level 3 - USD ($) $ in Millions	9 Months Ended	12 Months Ended
	Sep. 30, 2024	Sep. 30, 2025
Business Combination [Line Items]
Beginning balance	$ 43.0	$ 5.0
Adjustment for earnout achieved for first performance period	(7.0)
Adjustment to fair value	(21.0)
Payment of earnout achieved for first performance period	(10.0)
Adjustment for earnout forfeited for second performance period		(5.0)
Ending balance	5.0	0.0
Performance Period 1
Business Combination [Line Items]
Beginning balance	17.0	0.0
Adjustment for earnout achieved for first performance period	(7.0)
Adjustment to fair value	0.0
Payment of earnout achieved for first performance period	(10.0)
Adjustment for earnout forfeited for second performance period		0.0
Ending balance	0.0	0.0
Performance Period 2
Business Combination [Line Items]
Beginning balance	26.0	5.0
Adjustment for earnout achieved for first performance period	0.0
Adjustment to fair value	(21.0)
Payment of earnout achieved for first performance period	0.0
Adjustment for earnout forfeited for second performance period		(5.0)
Ending balance	$ 5.0	$ 0.0