[docs] [issue19871] json module won't parse a float that starts with a decimal point