Գրեք սա: Computer arithmetic and validity