Function width

Computes the distance between the endpoints of the interval i.e. x.hi - x.lo

Example

Interval.width(
  Interval(1, 2)
)  // 1
Interval.width(
  Interval(-1, 1)
)  // 2
Interval.width(
  Interval(1, 1)
)  // next(0) ~5e-324
Interval.width(
  Interval.EMPTY
)  // 0

Returns