Circled numbers aren't really decorative symbol exceptions like star/heart etc.
As unicode characters, they should be present only in the original/Japanese title line, right? Or you obviously don't agree I guess? It's not like there's a rule set in stone about it... like with many things around here

but still...