We define the norm of an interval as the maximum element in the interval.
i1 : I = interval(.5,.8);
i2 : intervalNorm I o2 = .8 o2 : RR (of precision 53)