fix arith coding's divide in 64bit

was wrong for small PROBA_BITS values.