Changed JSON importer to use double precision for floating point numbers