a_{n-1} \in \mathbb{Z}