3 ms·Weighing your options: tie breakers and rounding poll results to 1003 points by wwarnerandrew 6y ago