XML 93 R82.htm IDEA: XBRL DOCUMENT v3.23.1
Other operating income (expense) and non-operating expense, net - Components of Other Non-Operating Income (Expense) (Details) - USD ($)
$ in Millions
3 Months Ended
Apr. 29, 2023
Apr. 30, 2022
Other Income and Expenses [Abstract]    
Pension settlement $ (0.2) $ (131.9)
Other (0.2) (2.6)
Other non-operating expense, net $ (0.4) $ (134.5)