Paul has a mix of quarters and dimes in his piggybank. He has twice as many dimes than he has quarters. He counts all his coins and notices that he has nine dollars in total. How many quarters does Paul have?
