13     double lo, hi;  member
64 		(void) printf("(%15.8f, %15.8f)\n", $1.lo, $1.hi);
109 		$$.hi = $$.lo = $1;
114 		$$.hi = $4;
115 		if ( $$.lo > $$.hi ) 
127 		$$.hi = $1.hi + $3.hi;
132 		$$.hi = $1 + $3.hi;
137 		$$.hi = $1.hi - $3.lo;
138 		$$.lo = $1.lo - $3.hi;
142 		$$.hi = $1 - $3.lo;
143 		$$.lo = $1 - $3.hi;
147 		$$ = vmul( $1.lo, $1.hi, $3 );
156 		$$ = vdiv ( $1.lo, $1.hi, $3 );
165 		$$.hi = -$2.lo;
166 		$$.lo = -$2.hi;
277 	v.hi = a;  in hilo()
282 	v.hi = b;  in hilo()
288 	if (c > v.hi)  in hilo()
289 	    v.hi = c;  in hilo()
295 	if (d > v.hi)  in hilo()
296 	    v.hi = d;  in hilo()
306     return (hilo(a * v.hi, a * v.lo, b * v.hi, b * v.lo));  in vmul()
312     if (v.hi >= 0. && v.lo <= 0.)  in dcheck()
323     return (hilo(a / v.hi, a / v.lo, b / v.hi, b / v.lo));  in vdiv()