A program that solves non-linear equations numerically, using floating point and interval arithmetics