How do I get the user ID and print it out?

[ggpenbutter]

I understand that to get the user's name you can use "ctx.author.username", and if you want to mention a user, you can use "ctx.author.mention", but how do I get the user id that "ctx.author.mention" uses to ping the player?

[tandemdude]

ctx.author.id