use decimal data type in json dump