new JSON backend storage, and representing JSON numbers as Java Double