Dropping leading zeros

I am semi new to json. I am writing a code to assign a value to a variable and then use that value later. Here it
“smart” : “000012345”
I can read this value into my code but I am not sure how to eliminate those leading zeros and pass the value 12345 onward.