Doos met tien rekenstaafjes, John Napier