Thanks, that serves as good motivation to complete that post! As far as the statement that log_2(5) = 6713115954038056572, really that number is only an ap

Thanks, that serves as good motivation to complete that post! As far as the statement that log_2(5) = 6713115954038056572, really that number is only an approximation; it is the last 64 bits of the “true” log_2(5), which has infinitely many bits. That is, the above equation in binary would be log_2(5) = 101110100101001110001110110010010000000011100100010011001111100. In the true 2-adic world, log_2(5) = ...101110100101001110001110110010010000000011100100010011001111100, where there are infinitely many leading bits. (Classical positive integers embed into the 2-adic world as numbers with all but finitely many bits set to 0, and similarly classical negative integers have all but finitely many bits set to 1.)