JSON generation for non-integer numbers