TIME_MIN
if (b < 0 && a < TIME_MIN - b)
__CTASSERT(TIME_MIN <= -TIME_MAX - 1);
__CTASSERT(TIME_MIN < -1);
if (b >= 0 && a < TIME_MIN + b + borrow)
__CTASSERT(TIME_MIN <= -TIME_MAX - 1);