Electoral College arithmetic