InnerArith: fix bug #70 (reopened)