fix integer precision while reading from json