Question: Given two lines on a plane, how to find integer points closest to their intersection?