We define the width of an interval as a difference between a upper bound and lower bound of an interval.
i1 : I = interval(.5,.8);
i2 : wInterval I o2 = .3 o2 : RR (of precision 53)