An adult African elephant eats about 0.25 ton of food per day. If the zoo orders 2.3 tons of food for the elephant, how many full days will the food last?