added facts about div and mod