update "div" function in Interval - to avoid dividing by zero (unless we
have complete zero interval [0,0])