$*TICK should return Instants, not DateTimes