json float values are now not padded with zeros up to 14 decimal places