InnerArith: fix bug 70 (reopened)