We know that
- A real number is rational if and only if it's binary (or base $n$ expansion, for all $n$) is eventually periodic. Therefore, the proportion of each digit (0 or 1 in the binary case) is a rational number.
- If the asymptotic proportion of each digit is well-defined and rational, we can still easily construct such a number which is not rational.
- If $x$ is transcendental, the proportion of digits in $x$ might still be algebraic, because almost every number is normal.
But what about
- If $x$ is algebraic, does that mean that the proportion of each digit in the binary expansion is algebraic?