Leibniz even invented a calculating machine. I didn't know he'd actually built one

https://en.wikipedia.org/wiki/Calculus_ratiocinator