They fuzz the numbers displayed - everything internally uses the real upvote/downvote count. It's so bots can't figure out if they've been flagged or not.