Added Support for Integer Symbols