fix JSON precision issue