Symbol: div_factor_to_div