We generally tip 15% or 20%, depending on quality of service, 10% if it’s bad but not atrocious. And that’s pretty easy:

• 10% - just move the decimal place once
• 20% - move the decimal place once and double
• 15% - in the middle of the first two (or move decimal place once, cut in half, and add that to the 10% figure)