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