Are all the time-stamps recorded by the sensor guaranteed to be unique? I think this is implied by the fact that they are "increasing" (rather than "non-decreasing") but wanted to check.