[GFK_of_xmaspast]

OK now you've got a variety over Q, good luck finding the integral points in the domain that you care about.