So in my config.ini I have a value like value = "0001" however when I call that value in my php code the leading zeros get stripped because it is being enterpreted as an integer. Trying to cast it as a string in php does not work, I guess because Phalcon has already cast it as an integer before it gets to my code. I need a way to preserve the leading zeros by keeping it as a string. How can I do this?

The only workaround I have found is a really bad one - I added a non integer character infront of the value, then I have to strip that character in my code. I need a sensible fix for this!