Describir: Computer arithmetic and validity /