This is not correct since you can claim the above for any number of votes actually obtained (if you asked someone to pick a number from 1 to 10 million, any number the person picks (assuming iid picks) will be by definition 10^-7).
The problem is more subtle.
There are around 10,000 integers n such that n/10058774 when rounded to 3 decimal places gives 0.512. Of those 10,000 this particular one has the smallest rounding error. That's what gives one the sense that probably they started with the clean fraction 0.512 and then worked their way to the tally.
The problem is more subtle.
There are around 10,000 integers n such that n/10058774 when rounded to 3 decimal places gives 0.512. Of those 10,000 this particular one has the smallest rounding error. That's what gives one the sense that probably they started with the clean fraction 0.512 and then worked their way to the tally.