Part 1 Part 1 deals with the basic
integer and
floating point datatypes (for multiple radices, including 2 and 10), but unlike
IEEE 754-2008 not the representation of the values. Part 1 also deals with basic arithmetic, including comparisons, on values of such datatypes. The parameter
iec559 is expected to be
true for most implementations of LIA-1. Part 1 was revised, to the second edition, to become more in line with the specifications in parts 2 and 3.
Part 2 Part 2 deals with some additional "basic" operations on integer and floating point datatype values, but focuses primarily on specifying requirements on numerical versions of
elementary functions. Much of the specifications in LIA-2 are inspired by the specifications in
Ada for elementary functions.
Part 3 Part 3 generalizes parts 1 and 2 to deal with
imaginary and
complex datatypes and arithmetic and elementary functions on such values. Much of the specifications in LIA-3 are inspired by the specifications for imaginary and complex datatypes and operations in
C,
Ada and
Common Lisp. ==Bindings==