12     double lo, hi;  member
62 		(void) printf("(%15.8f, %15.8f)\n", $1.lo, $1.hi);
111 		$$.hi = $$.lo = $1;
116 		$$.hi = $4;
117 		if ( $$.lo > $$.hi ) 
129 		$$.hi = $1.hi + $3.hi;
134 		$$.hi = $1 + $3.hi;
139 		$$.hi = $1.hi - $3.lo;
140 		$$.lo = $1.lo - $3.hi;
144 		$$.hi = $1 - $3.lo;
145 		$$.lo = $1 - $3.hi;
149 		$$ = vmul( $1.lo, $1.hi, $3 );
158 		$$ = vdiv ( $1.lo, $1.hi, $3 );
167 		$$.hi = -$2.lo;
168 		$$.lo = -$2.hi;
258 	v.hi = a;  in hilo()
263 	v.hi = b;  in hilo()
269 	if (c > v.hi)  in hilo()
270 	    v.hi = c;  in hilo()
276 	if (d > v.hi)  in hilo()
277 	    v.hi = d;  in hilo()
287     return (hilo(a * v.hi, a * v.lo, b * v.hi, b * v.lo));  in vmul()
293     if (v.hi >= 0. && v.lo <= 0.)  in dcheck()
304     return (hilo(a / v.hi, a / v.lo, b / v.hi, b / v.lo));  in vdiv()