The arithmetic of computers