Arithmetic Evaluation

# Chapter 8 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

1
  ECLiPSe versions older than 5.5 optionally supported single precision floats. This is no longer the case.
2
  We have chosen to use the term bounded real rather than interval in order to avoid confusion with interval variables as used in the interval arithmetic constraint solvers
3
  This is in contrast to a floating point number, which represents a real number which lies somewhere in the vicinity of the float
4
  Caution: In ECLiPSe versions up to 5.8, mod was the remainder corresponding to //, i.e. behaved like rem