Smileyleg's comment from the same post seems more fair (and thus more likely) to me:
I suppose it could be a bit more fair, like if they're tied A wins if milliseconds is even and B wins if odd.
In the other way, one player is specifically favored... in this one it is simply a coin toss.
That or microseconds come into play but the actual information isn't shown due to rounding (I hope this is not the case)