Binary expansion

Every real number in $[0,1]$ is a sum ${\sum }_{j\ge 1}{\epsilon }_j{2}^{-j}$ with binary digits ${\epsilon }_j\in \{0,1\}$.

A dyadic rational has the form $m/2^k$. Its terminating binary expansion has an alternative expansion ending in infinitely many $1$ digits.