[stdlib] normalize integer divisions

src/kernel_services/abstract_interp/abstract_interp.ml

src/kernel_services/abstract_interp/abstract_interp.mli

src/kernel_services/abstract_interp/base.ml

src/kernel_services/abstract_interp/ival.ml

src/kernel_services/abstract_interp/offsetmap.ml

src/kernel_services/analysis/bit_utils.ml

src/kernel_services/ast_queries/cil.ml

src/kernel_services/ast_queries/logic_utils.ml

src/libraries/stdlib/integer.ml

src/libraries/stdlib/integer.mli

src/libraries/utils/floating_point.ml

src/plugins/constant_propagation/api.ml

src/plugins/loop_analysis/loop_analysis.ml

src/plugins/loop_analysis/slevel_analysis.ml

src/plugins/value/domains/cvalue/builtins_malloc.ml

src/plugins/value/domains/cvalue/builtins_print_c.ml

src/plugins/value/domains/cvalue/builtins_string.ml

src/plugins/value/domains/gauges/gauges_domain.ml

src/plugins/value/legacy/eval_op.ml

src/plugins/value/legacy/eval_terms.ml