> As @mattpap commented the constants defined in core.numbers.py are considered as symbol.

I think, it's a bug.