let treat_integer_model () =
  if Jessie_options.IntModel.get_val () = Jessie_options.IMexact then
    Parameters.CppExtraArgs.add ("-D JESSIE_EXACT_INT_MODEL")