comment explaining json_reduce_digits