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