Randall makes chilli for a cold winter night. To make 7 servings, he uses 12 1/4 cups of diced tomatoes. How many cups of diced tomatoes are needed to make one serving of chili? Answer in decimal form.