User-specified kinds when creating parameter lists from JSON text
nncarlson opened this issue · comments
Currently integer numbers are converted to default integer values and real numbers to 64-bit real values when reading JSON text. This is what the YAJL parser does. It would be nice to allow the user to specify the kinds of the values that get added to the parameter list; e.g., 32-reals instead of 64-bit. This would entail conversions with possible overflow that would need to be handled.