PyCharm does not identify the math module

When writing import math, PyCharm underlines math with a red line and when hovering the cursor over it, it shows No module named math. The math module itself works, i.e. when executing the code

import mathprint(math.pi)

I get the desired 3.14...

However, PyCharm does not recognize this module and it is not in External Libraries. How can I make PyCharm "see" it again?