xint-polexpr