Work with floats everywhere in json, not integers
Tweak the json parser a bit