Ted Cruz has a huge math problem