From approximate to exact integer programming