v3.26.1
Customer Prepayments (Details) - USD ($)
$ in Millions
12 Months Ended
Dec. 31, 2023
Apr. 03, 2026
Dec. 31, 2025
Revenue Recognition and Deferred Revenue [Abstract]      
Prepayments from customers $ 38.6    
Deferred income   $ 46.6 $ 47.5
Unearned revenue   $ 1.7 $ 2.4