Simplify conversion of NumberLiteral of type 'int' to BigInteger, as it is only used for ints and not longs.
Allow all values of Java's int range, not only positive ones. (This allows Integer.MIN_VALUE, which previously led to an AssertionError, as it is handled differently from usual negative literals by the eclipse parser).




git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13553 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c