We establish a universal, exact theorem governing the overflow of any power of any real base relative to its nearest smaller power of two. For any real number p > 1 and positive integer m, let N = pᵐ. The overflow of N — defined as the difference between N and the largest power of two not exceeding N
Brian Wooldridge (Thu,) studied this question.