Die Hauptschriften zur Dyadik von G. W. Leibniz, Ein Beitrag zur Geschichte des binaren Zahlensystems