What types are these originally, and why are they being cast to strings?