Leibniz on Binary: The Invention of Computer Arithmetic (2022)