I checked for integer coefficients in `classify_diop()` function.