Ada Lovelace and the Number-Crunching Machine