An Iterative Refinement Technique with an Integer Arithmetic-Based GMRES Solver