Limits of real numbers in the binary signed digit representation (Logical Methods in Computer Science, 2022)