protected DisInterval ConvertInterval_IEEE754(Interval_IEEE754 intv) { return(Interval_IEEE754.ConvertInterval(intv)); }
protected override Interval_IEEE754 ConvertInterval(Interval intv) { return(Interval_IEEE754.ConvertInterval(intv)); }