أرسل هذا في رسالة قصيرة: Computer arithmetic and validity