[typing] consider that int is the smallest type (or: do what the spec says)

src/plugins/e-acsl/tests/bts/oracle/gen_bts1307.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1390.c

...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_freeable.c

...ns/e-acsl/tests/e-acsl-runtime/oracle/gen_linear_search.c

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_memsize.c

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_null.c

src/plugins/e-acsl/tests/gmp/oracle/arith.0.res.oracle

src/plugins/e-acsl/tests/gmp/oracle/arith.1.res.oracle

src/plugins/e-acsl/tests/gmp/oracle/at.1.res.oracle

src/plugins/e-acsl/tests/gmp/oracle/comparison.1.res.oracle

src/plugins/e-acsl/tests/gmp/oracle/gen_arith.c

src/plugins/e-acsl/tests/gmp/oracle/gen_arith2.c

src/plugins/e-acsl/tests/gmp/oracle/gen_at2.c

src/plugins/e-acsl/tests/gmp/oracle/gen_cast2.c

src/plugins/e-acsl/tests/gmp/oracle/gen_comparison2.c

src/plugins/e-acsl/tests/gmp/oracle/gen_integer_constant2.c

src/plugins/e-acsl/tests/gmp/oracle/gen_longlong.c

src/plugins/e-acsl/tests/gmp/oracle/gen_longlong2.c

src/plugins/e-acsl/tests/gmp/oracle/gen_not2.c

src/plugins/e-acsl/tests/gmp/oracle/gen_quantif.c