Collin has 25 pounds of dog food. He feeds the dog 1.252 pounds. How much dog food does Collins have?