Discord.py slash commands expect a number input

Question

I would like to ask for a number in one of my slash commands. Thank you! :) Code:

@tree.command(guild = discord.Object(id=guild_id), name = 'leaderbord', description='Check leaderbord') 
async def slash3(interaction: discord.Interaction, number: #What is needed here?):

Answer 1

The answer was number: int Thanks to @furas! the right Code is:

@tree.command(guild = discord.Object(id=guild_id), name = 'leaderbord', description='Check leaderbord') 
async def slash3(interaction: discord.Interaction, number: int):