Ivan has $8.75 in nickels and quarters in his desk drawer. The number of nickels is twice the number of quarters. How many coins of each type does he have?