Fixing bug in reverse mode int operations