There's something I don't understand about CVXPY's example on its MIQP use. It says that the algorithm returns a solution $x \in \mathbb{Z}^n$ but I thought in general the point of MIQP algorithms was to return a solution $x$ such as
$$\forall i, x_{i} \in [m,M] \cup \{0\}$$
given $m,M\in \mathbb{R}$. Am I missing some parameters here?