4.7 Arithmetic

• ref-ari-ove: Overview
• ref-ari-eae: Evaluating Arithmetic Expressions
• ref-ari-exc: Exceptions Related to Arithmetic
• ref-ari-acm: Arithmetic Comparison
• ref-ari-aex: Arithmetic Expressions
• ref-ari-sum: Predicate Summary