A package devoted to the management of variables and domains for integers