add json_value_clone()
add a format option to colorize the output
format real values with enough precision