Symbol: div_factor