Neue Forschungsergebnisse und Funktionsmodelle zur dezimalen Vier-Spezies-Rechenmaschine von und zur dyadischen Rechenmaschine nach Leibniz