@UlrikeFischer Unclear in the sense of not
exactly reproducible (on my computer, and, perhaps, for the others, too) as of now. You may, of course, argue on whether the circles mostly touching the digits vs. not touching the digits is that much of a difference. For my purposes, it does make a difference. (I would not use the original encircled digits
i.stack.imgur.com/V5KtM.png but would use the (admittedly, nonideal) encircled digits
i.imgur.com/nDZZ14q.png .)