{

Datumvalue;/* Actual value if not infinite */

uint8is_infinite;/* bitmask where the least significant bit

Datumvalue;/* actual value if not infinite */

int8is_infinite;/* -inf | +inf | finite */

}Bound;

#defineBOUND_INFINITY_MASK0x01

#defineBOUND_NEGATIVE_MASK0x02

#defineFINITE( 0 )

#definePLUS_INFINITY( +1 )

#defineMINUS_INFINITY( -1 )

#defineFINITE0

#definePLUS_INFINITY(BOUND_INFINITY_MASK)

#defineMINUS_INFINITY(BOUND_INFINITY_MASK | BOUND_NEGATIVE_MASK)

#defineIsInfinite(i)((i)->is_infinite & BOUND_INFINITY_MASK)

#defineIsPlusInfinity(i)(IsInfinite(i) && !((i)->is_infinite & BOUND_NEGATIVE_MASK))

#defineIsMinusInfinity(i)(IsInfinite(i) && ((i)->is_infinite & BOUND_NEGATIVE_MASK))

#defineIsInfinite(i)( (i)->is_infinite != FINITE )

#defineIsPlusInfinity(i)( (i)->is_infinite == PLUS_INFINITY )

#defineIsMinusInfinity(i)( (i)->is_infinite == MINUS_INFINITY )

}

MakeBoundInf(uint8infinity_type)

MakeBoundInf(int8infinity_type)

{

Boundbound= { (Datum)0,infinity_type };