i’m trying to make bot command which adds two numbers together by requesting that they are turn into integers byspecifying the converter but for some reason i constantly get error that variables can’t convert into int

here’s code which i copied from discordpy docs

@bot.command()
async def add(ctx, a: int, b: int):
    await ctx.send(a + b)

it’s my first time interacting with discord bot and i have no clue what to do i tried to update version of python and discord pip but it affected nothing