ab37dac248
The sign of a +/- operation is computed, which can help in cases where the result could not be proven to be within 53-bit range. Also added rules for ~/, %, >>, &, and unary negation operators. BUG= R=sra@google.com Review URL: https://codereview.chromium.org/1479193002 .