integers-extension