Fix bounds checking.  Operations succeed if the bounds are default on one of the operands, as long as the result is within bounds.