fix bug in dealing with many Real/Doubles from json.
Jackson converts it to a Integer if there are no decimal
places