An D995: Integer $a \in \mathbb{Z}$ is an 8-bit integer if and only if \begin{equation} \exists \, r_0, r_1, \ldots, r_7 \in \{ 0, 1 \} : a = - r_7 2^7 + \sum_{n = 0}^6 r_n 2^n \end{equation}