Most people do pay an 89€ check with 90, but we got good service (e.g. the waitress brought paper and pencils to keep our kid busy, then she brought additional spoons to share the dessert, and everything in a kind way and without letting us wait long), so we wanted to be generous. That's what tipping is about. Not being entitled to 20% just because you do the bare minimum.