fix needless high precision for double in json