add an empty module "InterestingDigits" (iml file missing)