Small-step Arith