 Dyadic rational

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

A dyadic rational is a type of number in the form of \(\frac{m}{2^n}\), where \(m\) is an integer and \(n\) is a non-negative integer. In other words, dyadic rationals are fractions where the denominator is a power of 2.