JSON - add specific double encoding method

previously, values were auto-boxed/unboxed