Remove unnecessary len from php_json_buffer_append_long