integral in ampl