Div with mul

Replace division by constants with multiplication, additions, shifts.
ms and mu are nondescript names, we should use something informative instead.