v3.26.3
Customer Prepayments (Details) - USD ($)
$ in Millions
12 Months Ended
Dec. 31, 2023
Oct. 02, 2026
Dec. 31, 2025
Customer Prepayments [Abstract]      
Prepayments from customers $ 38.6    
Deferred income   $ 34.5 $ 47.5
Unearned revenue   $ 2.3 $ 2.4