Pycharm: No offer to import a module

I started a new project in PyCharm. Then I added a single file, where I typed:

pi = math.pi

I got a red squiggly under "math" as expected. However there was no red light bulb and no offer to add "import math" to the file.

Why is that?