Currently discord rest types such as UpdateGuildRoleRequest and ApplicationCommandUpdateRequest use number type for permissions while some others (like ApplicationCommandResponse) use string. AFAIK discord API itself uses strings for permissions and dfx Perms helper uses bigint, so number is really inconvenient here. I suggest using either string or bigint consistently instead.
Currently discord rest types such as
UpdateGuildRoleRequestandApplicationCommandUpdateRequestusenumbertype for permissions while some others (likeApplicationCommandResponse) usestring. AFAIK discord API itself uses strings for permissions and dfxPermshelper usesbigint, sonumberis really inconvenient here. I suggest using eitherstringorbigintconsistently instead.