Text this: The Logic of Computer Arithmetic