let descr =
        "set the model for integer arithmetic (exact, bounded or modulo)"