@amras1 - trivial change, but since time differences are not necessarily in TAI anymore, could you also replace TAI -> time here (and same in `__ne__` below)?