handle integer variables

we do already have the function for respresenting integer variables with their binary representation, can we somehow integrate this to be applied automatically when we have a polynomial? The difficulty might be that we need to have an upper and a lower bound for each integer variable, unbounded variables would require an infinite number of binary variables...