Challenging all the worlds to test this. Limit the Top Provisioner to say, 100k points, and have everyone tie it. It may list the top provisioners by the first, second etc to reach 100k, but will it recognize it as a tie?