python: json converter always use double for floating point numbers
python: json converter always use double for floating point numbers

toxa81/sirius,toxa81/sirius,toxa81/sirius,electronic-structure/sirius,toxa81/sirius,electronic-structure/sirius,electronic-structure/sirius,electronic-structure/sirius,toxa81/sirius,electronic-structure/sirius,electronic-structure/sirius,electronic-structure/sirius,toxa81/sirius