Up to the moment, doing quick arithmetic, Trump has got 175,000 more votes than Ted Cruz tonight.
But how many of those 175K are Republicans ?