Dyadic rational (source code)

= Dyadic rational
{wiki}

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