Streams: a new general purpose data structure in Redis
I have a confusion about ID structure&#x2F;format:<p><pre><code>   The ID is composed of two parts: a millisecond time and a
   sequence number.  The number after the dot is the
   sequence number, and is used in order to distinguish
   entries added in the same millisecond. 
</code></pre>
Does this mean for example that 1506872463535.11 comes after 1506872463535.2 (because 11 &gt; 2)?  If so that means treating these as decimals (which will be easy to do inadvertently) will yield the wrong order (as would sorting them lexicographically). If so it seems like something other than a decimal point would be a better separator (colon perhaps).