JSON: fix replacements + big decimal / big int