Ted Cruz has the numbers