Optimize php_json_buffer_append_long