Implement incr(). Fix get_int()