on Tue Jan 31 2017, Xiaodi Wu <xiaodi.wu-AT-gmail.com> wrote: > Why not move the `dividing` version to DoubleWidth, where it can be > a proper `divided(by:)`? Why didn't I think of that? :-) -- -Dave