Envoyer par SMS: The Logic of Computer Arithmetic