Yes, those two values are applied a calibration function and the return was numerical, while for the others the JSON encoder handled them as strings. Numbers don’t need the quotes, while other types do.

While this has no impact on parsing (JSON with number in quotes is still valid), this has been fixed to drop quotes on all other numbers.