fix div algo and abstract, complete incr algo