Text this: The logic of computer arithmetic.