Properties of the CG method in finite precision computations