Beginning of section 3.3 (arithmetics)