Binary Arithmetic : From Leibniz to