An algorithm to solve integer linear systems exactly using numerical methods