Fixing operator comparion when left=int and right=dvar