Factor in Ted Cruz's performance (9%) and the Cuban-American duo defeated Trump by 72%-22%.
As for intensity, Miami-Dade County GOP turnout was 50%, which was 4-points higher than the statewide average of 46%.
Meanwhile, according to a CNN exit poll, Cuban-Americans statewide supported Marco Rubio over Donald Trump by 62%-18%.
Factor in Ted Cruz's performance (13%) and the Cuban-American duo defeated Trump by 75%-18%.
Unfortunately, this significant cushion was insufficient to overcome Trump's 2-to-1 advantage among non-Hispanic voters statewide.
Trump had been the candidate most closely associated with Obama's Cuba policy, though (to be fair) he began to correct his views at the most recent debate in Miami.
But it provides an important lesson to whomever the Republican nominee is in November -- for he's going to need every single one of those Cuban-American votes to prevail in Florida's general election.