Retirement Benefits (Details)
$ in Millions
Oct. 28, 2017
USD ($)
Postemployment Benefits [Abstract]  
Retirement liability $ 25.5