@misc{indiciaefe3c129f0eb3, title = {Adding digit vectors}, author = {Peter Hellekalek}, year = {2012}, url = {https://arxiv.org/abs/1209.3585}, note = {Source identifier: 1209.3585} }