support and optimization for subtraction of negative integers
Merge branch 'master' of git+ssh://pequod.cs.virginia.edu/home/bt3ze/staging/lccyao2