Gravar-mail: Arithmetization in the History of Mathematics