It would be nice to have an option in the function fromJSON() to return doubles instead of integers, even if all numbers in the JSON string are without a decimal point or exponential format. I have some software that stores in JSON in some cases large full correlation matrices composet of just "1"s, this is a very compact format. I'd like to be able to read them back as doubles instead of integers, providing some option.
It would be nice to have an option in the function fromJSON() to return doubles instead of integers, even if all numbers in the JSON string are without a decimal point or exponential format. I have some software that stores in JSON in some cases large full correlation matrices composet of just "1"s, this is a very compact format. I'd like to be able to read them back as doubles instead of integers, providing some option.