Chapter 9 Arithmetic Evaluation
Built-Ins to Evaluate Arithmetic Expressions
Arithmetic Evaluation vs Arithmetic Constraint Solving
Numeric Types and Type Conversions
Integers
Rationals
Floating Point Numbers
Bounded Real Numbers
Type Conversions
Arithmetic Functions
Predefined Arithmetic Functions
Evaluation Mechanism
User Defined Arithmetic Functions
Runtime Expressions
Low Level Arithmetic Builtins
The Multi-Directional Arithmetic Predicates
Arithmetic and Coroutining