add_configs("integer_class",{description="Integer class for symengine. Either gmp, gmpxx, flint or piranha",default="boost",type="string",values={"boost","gmp"}})
add_configs("integer_class",{description="Integer class for symengine. Either gmp, gmpxx, flint or piranha",default="boost",type="string",values={"boost","gmp"}})