Re: JWT tokens, timestamps and doubles (microseconds)