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