Correct a 64-bit bug in event_time_after