Pyright incorrectly resolves a local, internal module named math to the built-in Python math module, leading to false-positive type errors ("... is not a known attribute of module math") when ...