Refined Interval Analysis