If you double a number and then add 32, the result is 80, what is the number?