A child with DKA has a normal initial serum potassium. What does this tell you about total body potassium?