שליחה במסרון: Computer arithmetic and validity