json parser: handling ints where doubles expected as ok