It is one of the advantages of Fourier-Motzkin to find integer solutions much easier. Once, the variables are eliminated, we backtrack and can thereby choose a value for each variable of the determined interval for that variable. If there is an integer value possible, pick it, otherwise, there is no integer solution.