The first batch of changes recommended by the fixdiv tool. These are

mostly changes of / operators into //.  Once or twice I did more or
less than recommended.