Section 4.3

Section 4.3 defines the absolute value and distance functions, and also defines exponentiation where the power is an integer.