Computer Arithmetic and Validity by