SDL only provides millisecond precision. Use system timers to get a better precision.
This avoids to use the SDL timer API directly, and will allow to handle generic ticks (possibly negative).