time_arith       1196 src/timefns.c    return time_arith (a, b, false);
time_arith       1212 src/timefns.c    return time_arith (a, b, true);