Automatic error analysis in finite digital computations, using range arithmetic.