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.