Арифметика вещественных чисел: теория и примеры