Merge branch 'fix/andre/more-very-large-integers' into 'stable/chromium'

src/kernel_internals/typing/cabs2cil.ml

src/plugins/value/partitioning/partitioning_parameters.ml

tests/syntax/oracle/very_large_integers.0.res.oracle

tests/syntax/oracle/very_large_integers.1.res.oracle

tests/syntax/oracle/very_large_integers.10.res.oracle

tests/syntax/oracle/very_large_integers.11.res.oracle

tests/syntax/oracle/very_large_integers.12.res.oracle

tests/syntax/oracle/very_large_integers.13.res.oracle

tests/syntax/oracle/very_large_integers.2.res.oracle

tests/syntax/oracle/very_large_integers.3.res.oracle

tests/syntax/oracle/very_large_integers.4.res.oracle

tests/syntax/oracle/very_large_integers.5.res.oracle

tests/syntax/oracle/very_large_integers.6.res.oracle

tests/syntax/oracle/very_large_integers.7.res.oracle

tests/syntax/oracle/very_large_integers.8.res.oracle

tests/syntax/oracle/very_large_integers.9.res.oracle

tests/syntax/very_large_integers.c