use type double in creating floating point JSON values