hello there ℤ is Diophantine in ℚ, thanx to my close friends Astra and Claude The polynomial characterizing ℤ isn’t quite Tweet-sized; it has m=292,890,231,905 variables, is of degree d < 2^^7, and all its coefficients have absolute value < 2^^8.