json: New function json_serialized_length().